Pages that link to "Item:Q1349664"
From MaRDI portal
The following pages link to Partial map classifiers and partial cartesian closed categories (Q1349664):
Displaying 14 items.
- Categories of partial maps (Q1109871) (← links)
- ``Pathologies'' in two syntactic categories of partial maps (Q1115866) (← links)
- Partiality, cartesian closedness, and toposes (Q1121368) (← links)
- Restriction categories II: Partial map classification (Q1398462) (← links)
- Lifting results for categories of algebras (Q1605183) (← links)
- Formalizing abstract computability: Turing categories in Coq (Q2333325) (← links)
- Cocompletion of restriction categories (Q3294959) (← links)
- A survey of categorical computation: Fixed points, partiality, combinators, \dots control? (Q3971261) (← links)
- Algebras for the partial map classifier monad (Q3978981) (← links)
- Quotienting the delay monad by weak bisimilarity (Q4559601) (← links)
- Lifting theorems for Kleisli categories (Q5890054) (← links)
- Restriction categories. I: Categories of partial maps (Q5958307) (← links)
- Concrete categories and higher-order recursion. With applications including probability, differentiability, and full abstraction (Q6649494) (← links)
- Characterizations of some (weak) Grothendieck topologies (Q6651024) (← links)