Logique lin'eaire. une repr'esentation alg'ebrique du calcul (1989)

by V Danos
Venue:Math. (Soc. Math. de France