01050nam0-22003731i-450-99000803221040332120111004134124.00-521-60857-0000803221FED01000803221(Aleph)000803221FED0100080322120050329d2004----km-y0itay50------baengUSa---a---101yyLinear logic in computer scienceT. Ehrhard, ... [et al.], editorsCambridgeCambridge University Pressc2004x, 381 p.24 cmLondon Mathematical Society lecture note series316Logica matematicaFondamentiScienza del computer511.321itaEhrhard,ThomasITUNINARICAUNIMARCBK990008032210403321C-9-(31620726MA1MA103-0668-0600B25Linear logic in computer science755149UNINA