Publication:4650584
From MaRDI portal
zbMath1059.03071MaRDI QIDQ4650584
Publication date: 18 February 2005
Related Items
A geometrical representation of the basic laws of categorial grammar, Cyclic Multiplicative Proof Nets of Linear Logic with an Application to Language Parsing, Unnamed Item, Proof nets for multiplicative cyclic linear logic and Lambek calculus, Learning Lambek Grammars from Proof Frames, Correctness of linear logic proof structures is NL-complete, A geometrical procedure for computing relaxation