Dependent Record Types and Algebraic Structures in Type Theory
Universitet
Göteborgs universitet/University of Gothenburg
Institution
Department of Computing Science
Institutionen för datavetenskap
Datum för disputation
1998-02-24
Datum
1998Författare
Betarte, Gustavo
Publikationstyp
Doctoral thesis