On the relation between a type theoretic and a logical formulation of the theory of constructions
By: [by] Jan Smith
Contributors: Göteborgs universitet
Published: 1978
Place of publication: [s.l.]
Language: eng
Number of pages: 48
Notes: Thesis (doctoral)--University of Göteborg, 1978.