La logique linéaire appliquée àl’étude de divers processus de normalisation et principalement du λ-calcul (1990)

by V Danos