Mathématique et Informatique - Inria Gallium
... est le progrès fondamental accompli au cours des cinq dernières décennies
sur .... avant-guerre l'algèbre universelle), la théorie de la démonstration (avec
son ...... théorie de la démonstration telles que la logique linéaire non
commutative.