m

Documents  Regnier, Laurent | enregistrements trouvés : 1

O
     

-A +A

P Q


MathCongrès
Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Advances in linear logic Ed. Girard, Jean-Yves ; Ed. Lafont, Yves ; Ed. Regnier, Laurent. -Cambridge : Cambridge university Press , 1995 . - vii, 389 p. ; 24 cm


MathCongrès

Z