Categorial generalization of algebraic recursion theory

DOI10.1016/0022-4049(93)E0184-6zbMath0867.03015MaRDI QIDQ1898417

Yanyan Li

Publication date: 11 August 1997

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

zbMATH Keywords

category of abstract programs and correctness proofscategory of logical programs and correctness proofsfixpoints in categoriesleast fixpointsmulti-endofunctorsoperation spacespoint-free recursion theory

Mathematics Subject Classification ID

Logic in computer science (03B70) Categorical logic, topoi (03G30) Theories (e.g., algebraic theories), structure, and semantics (18C10) Abstract and axiomatic computability and recursion theory (03D75)

Related Items

On the recursion theorem in iterative operative spaces ⋮ The logic of recursive equations

Cites Work

• A fixpoint theorem for complete categories
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item