Pages that link to "Item:Q1398462"
From MaRDI portal
The following pages link to Restriction categories II: Partial map classification (Q1398462):
Displayed 6 items.
- Introduction to Turing categories (Q998306) (← links)
- An equational notion of lifting monad (Q1398461) (← links)
- The HASCASL prologue: Categorical syntax and semantics of the partial \(\lambda\)-calculus (Q2368980) (← links)
- PARTIALIZATION OF CATEGORIES AND INVERSE BRAID-PERMUTATION MONOIDS (Q3545893) (← links)
- Restriction categories III: colimits, partial limits and extensivity (Q5756980) (← links)
- Restriction categories. I: Categories of partial maps (Q5958307) (← links)