Logique Linéaire et Paradigmes Logiques du Calcul
mpri-ll