Substitution, record types and subtyping in type theory, with applications to the theory of programming
Universitet
Göteborgs universitet/University of Gothenburg
Institution
Institutionen för datavetenskap
Department of Computing Science
Datum för disputation
1997-05-16
Datum
1997Författare
Tasistro, Alvaro
Publikationstyp
Doctoral thesis