Pages that link to "Item:Q1709707"
From MaRDI portal
The following pages link to Dialectica categories for the Lambek calculus (Q1709707):
Displaying 6 items.
- Morphisms of open games (Q2134815) (← links)
- Non-normal modal logics and conditional logics: semantic analysis and proof theory (Q2672662) (← links)
- (Q5018487) (← links)
- (Q5028422) (← links)
- The 2-Chu-Dialectica construction and the polycategory of multivariable adjunctions (Q5215079) (← links)
- Relational Models for the Lambek Calculus with Intersection and Constants (Q6178715) (← links)
