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):
Displaying 14 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)
- Algebraic presentation of semifree monads (Q2104481) (← links)
- Boolean restriction categories and taut monads (Q2503320) (← links)
- A characterization of generalized existential completions (Q2683780) (← links)
- Partiality, Revisited (Q2988390) (← links)
- (Q3216120) (← links)
- Boolean and classical restriction categories (Q3625678) (← links)
- (Q4028343) (← links)
- (Q4668854) (← links)
- Operational semantics using the partiality monad (Q5168888) (← links)
- Lifting theorems for Kleisli categories (Q5890054) (← links)
- Restriction categories. I: Categories of partial maps (Q5958307) (← links)