Substitution, record types and subtyping in type theory, with applications to the theory of programming
By: Alvaro Tasistro
Contributors: Göteborgs universitet
Published: 1997
Language: eng
Number of pages: 24
Notes: Thesis (doctoral)--Göteborg University, 1997.