Dependent Record Types and Algebraic Structures in Type Theory

No Thumbnail Available

Date

1998

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

Keywords

Citation

URI

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

Collections

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