Substitution, record types and subtyping in type theory, with applications to the theory of programming

University
Göteborgs universitet/University of Gothenburg
Institution
Institutionen för datavetenskap
Department of Computing Science
Date of defence
1997-05-16
URI
http://hdl.handle.net/2077/14553
Collections
Date
1997
Author
Tasistro, Alvaro
Publication type
Doctoral thesis
Metadata
Show full item record