Dependent record types and algebraic structures in type theory

Göteborg, Univ., Diss., 1998

Gespeichert in:

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