Lambek calculus
Inverse relations
[ .. ] → schema:about → Lambek calculus
Categorial parsing and normalisation / Hans Leiss (ed.) ; authors: Herman Hendriks ... [et al.]schema:ProductModel
Linear logic and Lambek calculus : proceedings 1993 Rome workshop / Michele Abrusci [et al.] (editors)schema:ProductModel
Linguistic applications of multimodal and polymorphic categorial grammar / Hans Leiss (ed.) ; authors: Martin Emms, Esther Kraak, Koen Versmissenschema:ProductModel
Logics of structural resources / Michael Moortgat (ed.) ; authors: Natasha Kurtonina ... [et al.]schema:ProductModel
Resource logics : proof-theoretical investigations / Dirk Roordaschema:ProductModel