Format:
193 S.
ISBN:
3540415173
Series Statement:
Lecture notes in computer science 1956
Additional Edition:
Erscheint auch als Online-Ausgabe Coquand, Thierry, 1961 - Types for Proofs and Programs Berlin, Heidelberg : Springer Berlin Heidelberg, 2000 ISBN 9783540415176
Language:
English
Subjects:
Computer Science
Keywords:
Typentheorie
;
Beweistheorie
;
Automatisches Beweisverfahren
;
Logische Programmierung
;
Typentheorie
;
Beweistheorie
;
Formale Methode
;
Programmierung
;
Reduktionssystem
;
Konferenzschrift
Author information:
Coquand, Thierry 1961-
