Pages that link to "Item:Q2842828"
From MaRDI portal
The following pages link to Classifying categories for partial equational logic (Q2842828):
Displaying 4 items.
- Introduction to Turing categories (Q998306) (← links)
- The HASCASL prologue: Categorical syntax and semantics of the partial \(\lambda\)-calculus (Q2368980) (← links)
- Nominal Lawvere theories: a category theoretic account of equational theories with names (Q2453579) (← links)
- Unitary Theories, Unitary Categories (Q3178243) (← links)
