No label defined (Q4866992)
From MaRDI portal
scientific article; zbMATH DE number 847946
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 847946 |
Statements
3 September 1996
0 references
associative Lambek calculus of syntactic types
0 references
rule of restricted permutation
0 references
cut-elimination
0 references
algebraic semantics
0 references
embeddings
0 references
subalgebra semantics
0 references