Kenta Cho

Total and Partial Computation in Categorical Quantum Foundations

2015 · Electronic Proceedings in Theoretical Computer Science

This paper uncovers the fundamental relationship between total and partial computation in the form of an equivalence of certain categories. This equivalence involves on the one hand effectuses, which are categories for total computation, introduced …