The following pages link to Total maps of Turing categories (Q283751):
Displaying 7 items.
- Categorical simulations (Q964545) (← links)
- Introduction to Turing categories (Q998306) (← links)
- Formalizing abstract computability: Turing categories in Coq (Q2333325) (← links)
- (Q3717028) (← links)
- Totally Categorical Structures (Q3827994) (← links)
- Aspects of Categorical Recursion Theory (Q5014598) (← links)
- Categorical semantics of a simple differential programming language (Q5019684) (← links)