La Logique Linéaire appliquée à l’étude de divers processus de normalisation (1990)

by V Danos