INTERDEFINABILITY OF LAMBEKIAN FUNCTORS (Q4295248)
From MaRDI portal
scientific article; zbMATH DE number 584647
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | INTERDEFINABILITY OF LAMBEKIAN FUNCTORS |
scientific article; zbMATH DE number 584647 |
Statements
INTERDEFINABILITY OF LAMBEKIAN FUNCTORS (English)
0 references
28 August 1994
0 references
Lambek syntactic type calculus
0 references
definability of functors
0 references
categorial grammars
0 references
Gentzen-style syntactic type calculi
0 references
