A categorical approach to the theory of computation
Open Access
- 1 August 1989
- journal article
- Published by Elsevier in Annals of Pure and Applied Logic
- Vol. 43 (3) , 293-305
- https://doi.org/10.1016/0168-0072(89)90072-9
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Adjointness in recursionAnnals of Pure and Applied Logic, 1986
- The hereditary partial effective functionals and recursion theory in higher typesThe Journal of Symbolic Logic, 1984
- Noncomputability in analysis and physics: A complete determination of the class of noncomputable linear operatorsAdvances in Mathematics, 1983
- Generalized Banach-Mazur functionals in the topos of recursive setsJournal of Pure and Applied Algebra, 1982