dependence and independence results for(impredicative)calculi of dependent types

Bibliographische Detailangaben

1. Verfasser:	streicher, thomas (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	passau fakultaet fuer mathematik und informatik der universitaet passau 1990
Schriftenreihe:	mip 9015,passau
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!