Pages that link to "Item:Q1193894"
From MaRDI portal
The following pages link to Monads and algebras in the semantics of partial data types (Q1193894):
Displayed 7 items.
- Partial map classifiers and partial cartesian closed categories (Q1349664) (← links)
- Restriction categories II: Partial map classification (Q1398462) (← links)
- Lifting results for categories of algebras (Q1605183) (← links)
- Boolean restriction categories and taut monads (Q2503320) (← links)
- Boolean and classical restriction categories (Q3625678) (← links)
- (Q4668854) (← links)
- Restriction categories. I: Categories of partial maps (Q5958307) (← links)