Format:
Online-Ressource
,
v.: digital
Edition:
Online-Ausg. 2007 Springer eBook Collection. Computer Science
ISBN:
9783540732280
Series Statement:
Lecture Notes in Computer Science 4583
Additional Edition:
ISBN 9783540732273
Language:
English
Keywords:
Typisierter Lambda-Kalkül
;
Computational logic
;
Kategorientheorie
;
Konferenzschrift
DOI:
10.1007/978-3-540-73228-0
URL:
Volltext
(lizenzpflichtig)