Pages that link to "Item:Q911584"
From MaRDI portal
The following pages link to A categorial approach to the theory of computation (Q911584):
Displaying 13 items.
- Adjointness in recursion (Q581396) (← links)
- Complexity of categorical theories with computable models (Q859246) (← links)
- The categorical abstract machine (Q1097043) (← links)
- Some fundamental algebraic tools for the semantics of computation. III: Indexed categories (Q1183597) (← links)
- Monads and algebras in the semantics of partial data types (Q1193894) (← links)
- Categorical fixed point semantics (Q1813970) (← links)
- Categorical comprehensions and recursion (Q3133177) (← links)
- (Q3801547) (← links)
- Ultradiophantine Categories (Q3808094) (← links)
- (Q4041460) (← links)
- (Q4779146) (← links)
- (Q4888329) (← links)
- Relativizing computable categoricity (Q5002563) (← links)