Calcul de Lambek et logique linéaire. Traitement Automatique des Langues 37(2 (1996)

by C Retoré