The following pages link to (Q3764126):
Displayed 11 items.
- Notions of computation and monads (Q757075) (← links)
- A logic for Miranda (Q909443) (← links)
- A category-theoretic characterization of functional completeness (Q912587) (← links)
- HasCasl: integrated higher-order specification and program development (Q1006648) (← links)
- Categories of partial maps (Q1109871) (← links)
- Partiality, cartesian closedness, and toposes (Q1121368) (← links)
- A general adequacy result for a linear functional language (Q1391860) (← links)
- The HASCASL prologue: Categorical syntax and semantics of the partial \(\lambda\)-calculus (Q2368980) (← links)
- Classifying categories for partial equational logic (Q2842828) (← links)
- Pre-adjunctions in order enriched categories (Q4006227) (← links)
- Lifting as a KZ-doctrine (Q5057470) (← links)