Pages that link to "Item:Q4279260"
From MaRDI portal
The following pages link to Categorical models for non-extensional λ-calculi and combinatory logic (Q4279260):
Displaying 6 items.
- Order-enriched categorical models of the classical sequent calculus (Q2576913) (← links)
- Implicative logics, Lambek systems and exponential multicategories (Q2751816) (← links)
- What is a categorical model of the differential and the resource \(\lambda \)-calculi? (Q2888856) (← links)
- Partial hyperdoctrines: categorical models for partial function logic and Hoare logic (Q4302334) (← links)
- (Q4896529) (← links)
- A Bicategorical Model for Finite Nondeterminism (Q6159925) (← links)