Lambek Calculus and Formal Languages

Mati Pentus. Lambek Calculus and Formal Languages. In Johann A. Makowsky, Elena V. Ravve, editors, Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, Logic Colloquium 1995, Haifa, Israel, August 9-18, 1995. Volume 11 of Lecture Notes in Logic, pages 269-272, Springer, 1995. [doi]

Abstract

Abstract is missing.