From categorial grammar to bilinear logic (1993)

by Joachim Lambek
Venue:Schroeder-Heister, (Eds.), Substructural Logics