2 results
Lambek Calculus and Formal Languages
-
-
- Book:
- Logic Colloquium '95
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 269-272
-
- Chapter
- Export citation
Free monoid completeness of the Lambek calculus allowing empty premises
-
-
- Book:
- Logic Colloquium '96
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 171-210
-
- Chapter
- Export citation