Umfang:
193 S.
ISBN:
3540415173
Serie:
Lecture notes in computer science 1956
Weitere Ausg.:
Erscheint auch als Online-Ausgabe Coquand, Thierry, 1961 - Types for Proofs and Programs Berlin, Heidelberg : Springer Berlin Heidelberg, 2000 ISBN 9783540415176
Sprache:
Englisch
Fachgebiete:
Informatik
Schlagwort(e):
Typentheorie
;
Beweistheorie
;
Automatisches Beweisverfahren
;
Logische Programmierung
;
Typentheorie
;
Beweistheorie
;
Formale Methode
;
Programmierung
;
Reduktionssystem
;
Konferenzschrift
Mehr zum Autor:
Coquand, Thierry 1961-