01094nam a2200289 i 4500991000841259707536050217s2004 enka 001 0 eng d0521608570b13281185-39ule_instDip.to Matematicaeng511.3622AMS 03B70LC QA9.54.L56Linear logic in computer science /edited by Thomas Ehrhard ... [et al.]Cambridge ;New York :Cambridge University Press,2004x, 381 p. :ill. ;23 cmLondon Mathematical Society lecture note series,0076-0552 ;316Includes bibliographical referencesProof theoryComputer scienceMathematicsEhrhard, Thomas.b1328118510-11-0617-02-05991000841259707536LE013 03B EHR11 (2004)12013000288208le013pE57.75-l- 01010.i1403875425-03-05Linear logic in computer science755149UNISALENTOle01317-02-05ma -engenk00