Format:
Online-Ressource (VII, 195 pp)
,
digital
Edition:
Springer eBook Collection. Computer Science
ISBN:
9783540445579
,
3540415173
Series Statement:
Lecture Notes in Computer Science 1956
Content:
This book constitutes the thoroughly refereed post-workshop proceedings of the Third International Workshop, TYPES'99, organized by the ESPRIT Working Group 21900, in Lökeberg, Sweden, in June 1999. The 11 revised full papers presented in the volume were carefully reviewed and selected during two rounds of refereeing. All current issues on type theory and type systems and their applications to programming and proof theory are addressed
Additional Edition:
ISBN 9783540415176
Additional Edition:
Erscheint auch als Druck-Ausgabe ISBN 9783662201015
Additional Edition:
Erscheint auch als Druck-Ausgabe ISBN 9783540415176
Language:
English
Subjects:
Computer Science
Keywords:
Typentheorie
;
Beweistheorie
;
Automatisches Beweisverfahren
;
Logische Programmierung
;
Konferenzschrift
DOI:
10.1007/3-540-44557-9
URL:
Volltext
(lizenzpflichtig)
