Advances in linear logic : Linear Logic Workshop, Cornell University, Ithaca, New York : USA, June 14-18, 1993 / edited by Jean-Yves Girard, Yves Lafont, Laurent Regnier

• Record Nr.: UNINA990001359470403321
• Pubbl/distr/stampa: Cambridge : Cambridge University Press, c1995
• ISBN: 0-521-55961-8
• Descrizione fisica: vi, 389 p. : ill. ; 23 cm
• Collana: London Mathematical Society lecture note series ; 222
• Disciplina: 511.3
• Locazione: MA1
• Collocazione: C-9-(222
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia