Format:
X, 381 S
,
graph. Darst
,
23 cm
Edition:
1. publ.
ISBN:
0521608570
Series Statement:
London Mathematical Society lecture note series 316
Note:
Azores Summer School on Linear Logic and Computer Science, held August 30 - Sept. 7, 2000 in St. Miguel, Azores. -Includes bibliographical references
Additional Edition:
Erscheint auch als Online-Ausgabe Linear logic in computer science Cambridge : Cambridge University Press, 2004 ISBN 9780511550850
Language:
English
Subjects:
Mathematics
Keywords:
Informatik
;
Lineare Logik
;
Beweistheorie
;
Lambda-Kalkül
;
Konferenzschrift
;
Aufsatzsammlung