Pages that link to "Item:Q1121368"
From MaRDI portal
The following pages link to Partiality, cartesian closedness, and toposes (Q1121368):
Displaying 23 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)
- Partial Horn logic and Cartesian categories (Q866572) (← 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)
- E-ccc: Between ccc and topos (Q1117018) (← links)
- A functorial semantics for multi-algebras and partial algebras, with applications to syntax. (Q1853456) (← links)
- Cartesian closedness, extensionality and bornological universes (Q2014747) (← 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)
- The definitions of middle object and weak topos (Q2702828) (← 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)
- (Q3810812) (← links)
- A survey of categorical computation: Fixed points, partiality, combinators, \dots control? (Q3971261) (← links)
- (Q4133592) (← links)
- Partial toposes (Q4429196) (← links)
- Computer Science Logic (Q5311271) (← links)
- Restriction categories III: colimits, partial limits and extensivity (Q5756980) (← links)
