Pages that link to "Item:Q2842828"
From MaRDI portal
The following pages link to Classifying categories for partial equational logic (Q2842828):
Displaying 11 items.
- Equational type logic (Q752689) (← links)
- Partial Horn logic and Cartesian categories (Q866572) (← links)
- Introduction to Turing categories (Q998306) (← links)
- Optionality, scope, and licensing: An application of partially ordered categories (Q1024814) (← links)
- Equational logic and categorical semantics for multi-languages (Q2133469) (← 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)
- Partial hyperdoctrines: categorical models for partial function logic and Hoare logic (Q4302334) (← links)
- Categorical concepts for parameterized partial specifications (Q4856659) (← links)
- Computer Science Logic (Q5311271) (← links)