Linear Logic and Lambek Calculus. Proceedings 1993 Rome Workshop

1994

Claudia Casadio, Michele Abrusci, Michael Moortgat

Dyana Publications, Amsterdam

BibTeX