A categorial approach to the theory of computation

DOI10.1016/0168-0072(89)90072-9zbMath0697.03030OpenAlexW2086248250MaRDI QIDQ911584

Philip S. Mulry

Publication date: 1989

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0168-0072(89)90072-9

zbMATH Keywords

fixed pointsrecursive toposcategory of effective domainseffective operations

Mathematics Subject Classification ID

Topoi (18B25) Abstract and axiomatic computability and recursion theory (03D75)

Related Items

Monads and algebras in the semantics of partial data types, Categorical fixed point semantics

Cites Work

• Adjointness in recursion
• Noncomputability in analysis and physics: A complete determination of the class of noncomputable linear operators
• Generalized Banach-Mazur functionals in the topos of recursive sets
• Toposes, algebraic geometry and logic. Dalhousie University, Halifax, January 16-19, 1971
• The hereditary partial effective functionals and recursion theory in higher types
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item