Dialectica categories for the Lambek calculus (Q1709707)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Dialectica categories for the Lambek calculus |
scientific article |
Statements
Dialectica categories for the Lambek calculus (English)
0 references
6 April 2018
0 references
Lambek calculus
0 references
Dialectica models
0 references
categorical semantics
0 references
type theory
0 references
structural rules
0 references
non-commutative
0 references
linear logic
0 references