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