The following pages link to Introduction to Turing categories (Q998306):
Displaying 17 items.
- Total maps of Turing categories (Q283751) (← links)
- Categorical simulations (Q964545) (← links)
- Categorical models of the differential \(\lambda\)-calculus revisited (Q1744378) (← links)
- Monoidal computer III: a coalgebraic view of computability and complexity (extended abstract) (Q1798794) (← links)
- Computability models over categories and presheaves (Q2151413) (← links)
- Formalizing abstract computability: Turing categories in Coq (Q2333325) (← links)
- Restriction categories as enriched categories (Q2435310) (← links)
- Many-one reductions and the category of multivalued functions (Q2973252) (← links)
- On the Semantics of Intensionality (Q2988392) (← links)
- Unitary Theories, Unitary Categories (Q3178243) (← links)
- Timed Sets, Functional Complexity, and Computability (Q3178279) (← links)
- COMPUTABILITY IN PARTIAL COMBINATORY ALGEBRAS (Q4984865) (← links)
- Aspects of Categorical Recursion Theory (Q5014598) (← links)
- Categorical models of the differential λ-calculus (Q5108533) (← links)
- Computability structures, simulations and realizability (Q5740351) (← links)
- Classical distributive restriction categories (Q6593821) (← links)
- The complexity of completions in partial combinatory algebra (Q6635151) (← links)
