Computability models over categories and presheaves

DOI10.1007/978-3-030-93100-1_16OpenAlexW4200503829MaRDI QIDQ2151413

Iosif Petrakis

Publication date: 1 July 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-93100-1_16

Mathematics Subject Classification ID

Logic in computer science (03B70)

Cites Work

• Unnamed Item
• Unnamed Item
• Categorical simulations
• Introduction to Turing categories
• Category theory. Proceedings of the international conference, held in Como, Italy, July 22-28, 1990
• Relations in categories
• Higher-Order Computability
• On the ubiquity of certain total type structures
• Computability structures, simulations and realizability

This page was built for publication: Computability models over categories and presheaves