01086nam0-22003491i-450-9900013594704033210-521-55961-8000135947FED01000135947(Aleph)000135947FED0100013594720000920d1995----km-y0itay50------baengAdvances in linear logicLinear Logic Workshop, Cornell University, Ithaca, New YorkUSA, June 14-18, 1993edited by Jean-Yves Girard, Yves Lafont, Laurent RegnierCambridgeCambridge University Pressc1995vi, 389 p.ill.23 cmLondon Mathematical Society lecture note series222Logica lineareCongressi511.3Girard,Jean-YvesLafont,YvesRegnier,LaurentITUNINARICAUNIMARCBK990001359470403321C-9-(22214517MA1MA103-0603F50Advances in linear logic375272UNINAING01