On the relation between a type theoretic and a logical formulation of the theory of constructions

Thumbnail Image

Date

1978

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

Keywords

Matematik Allmänt

Citation

URI

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

ISBN

Articles

Department

Matematik

Defence location

Collections

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

Endorsement

Review

Supplemented By

Referenced By