The following pages link to Categorical simulations (Q964545):
Displaying 8 items.
- Total maps of Turing categories (Q283751) (← links)
- Introduction to Turing categories (Q998306) (← links)
- Computability models over categories and presheaves (Q2151413) (← links)
- Paths and simulations (Q2842830) (← links)
- On the Semantics of Intensionality (Q2988392) (← links)
- (Q5013873) (← links)
- Aspects of Categorical Recursion Theory (Q5014598) (← links)
- Computability structures, simulations and realizability (Q5740351) (← links)