01435nam a2200361 i 450099100064772970753620020507171732.0001106s1995 uk ||| | eng 0521559618b10737728-39ule_instLE01300133ExLDip.to Matematicaeng511.3AMS 03-06AMS 68-06AMS 68N15QA9.A1L56Advances in linear logic /edited by Jean-Yves Girard, Yves Lafont, Laurent RegnierCambridge ; New York :Cambridge University Press,1995vi, 389 p. :ill. ;23 cmLondon Mathematical Society lecture note series,0076-0552 ;222Based on the Linear Logic Workshop held June 14-18, 1993, at the Mathematical Sciences Institute, Cornell UniversitySymbolic and mathematical logicCongressesGirard, Jean-YvesLafont, YvesRegnier, LaurentLinear logic workshop <1993 ; Mathematical Sciences Institute, Cornell University>.b1073772823-02-1728-06-02991000647729707536LE013 68-XX GIR11 (1995)12013000122830le013-E0.00-l- 00000.i1082812628-06-02Advances in linear logic375272UNISALENTOle01301-01-00ma -enguk 01