Dependent record types and algebraic structures in type theory

Zugl.: Göteborg, Univ., Diss., 1998

Bibliographische Detailangaben

1. Verfasser:	Betarte, Gustavo (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Göteborg Univ. 1998
Schlagworte:	Hochschulschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!