Pages that link to "Item:Q1121368"
From MaRDI portal
The following pages link to Partiality, cartesian closedness, and toposes (Q1121368):
Displayed 14 items.
- Cartesian effect categories are Freyd-categories (Q631572) (← links)
- On the discretization in time for a parabolic integrodifferential equation with a weakly singular kernel. I: Smooth initial data (Q687200) (← links)
- A category-theoretic characterization of functional completeness (Q912587) (← links)
- Introduction to Turing categories (Q998306) (← links)
- Partial morphisms in categories of effective objects (Q1109126) (← links)
- Categories of partial maps (Q1109871) (← links)
- A functorial semantics for multi-algebras and partial algebras, with applications to syntax. (Q1853456) (← links)
- The HASCASL prologue: Categorical syntax and semantics of the partial \(\lambda\)-calculus (Q2368980) (← links)
- Boolean restriction categories and taut monads (Q2503320) (← links)
- A relational account of call-by-value sequentiality (Q2506495) (← links)
- Classifying categories for partial equational logic (Q2842828) (← links)
- Unitary Theories, Unitary Categories (Q3178243) (← links)
- PARTIALIZATION OF CATEGORIES AND INVERSE BRAID-PERMUTATION MONOIDS (Q3545893) (← links)
- Restriction categories III: colimits, partial limits and extensivity (Q5756980) (← links)