Calligramme

Logique Linéaire, Réseaux de Démonstration et Grammaires Catégorielles