The following pages link to (Q3767474):
Displaying 12 items.
- Bicategories of processes (Q674474) (← links)
- Tail recursion through universal invariants (Q685396) (← links)
- Matrices, relations, and group representations (Q757580) (← links)
- Partial morphisms in categories of effective objects (Q1109126) (← links)
- Categories of partial maps (Q1109871) (← links)
- Partiality, cartesian closedness, and toposes (Q1121368) (← links)
- Restriction categories II: Partial map classification (Q1398462) (← links)
- The HASCASL prologue: Categorical syntax and semantics of the partial \(\lambda\)-calculus (Q2368980) (← links)
- Boolean restriction categories and taut monads (Q2503320) (← links)
- Cocompletion of restriction categories (Q3294959) (← links)
- Restriction categories. I: Categories of partial maps (Q5958307) (← links)
- From gs-monoidal to oplax cartesian categories: constructions and functorial completeness (Q6077384) (← links)