Correctness and completeness of a categorical semantics of the calculus of constructions

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Streicher, Thomas (VerfasserIn)
Format:	UnknownFormat
Veröffentlicht:	Passau 1989
Schriftenreihe:	MIP. Technische Berichte der Fakultät für Mathematik und Informatik. Universität Passau 8913
Schlagworte:	Bericht
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Beschreibung:	Zugl.: Passau, Univ., Fak. f. Math. u. Informatik, Diss. 1988
Beschreibung:	Getr. Zählung