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

Thumbnail Image

Date

1997

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

Keywords

Citation

URI

http://hdl.handle.net/2077/14553

ISBN

Articles

Department

Institutionen för datavetenskap
Department of Computing Science

Defence location

Collections

Doctoral Theses from University of Gothenburg / Doktorsavhandlingar från Göteborgs universitet

Endorsement

Review

Supplemented By

Referenced By