Documents liés : [1 document(s)]

Documents (Auteurs)

• [MathCongrès] Advances in linear logic / Ed. Girard, Jean-Yves ; Ed. Lafont, Yves ; Ed. Regnier, Laurent. -Cambridge : Cambridge university Press, 1995. - vii, 389 p. ; 24 cm