Dependent record types and algebraic structures in type theory

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

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Betarte, Gustavo (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Göteborg Department of Computing Science, Chalmers University of Technology and University of Göteborg 1998
Schlagworte:	Hochschulschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!