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

Documents (Auteurs)

• [MathCongrès] Linear logic in computer science / Ed. Ehrhard,Thomas ; Ed. Girard, Jean-Yves ; Ed. Ruet, Paul ; Ed. Scott, Philip. -Cambridge : Cambridge university Press, 2004. - x, 381 p. ; 23 cm
  ISBN 9780521608572