On the relation between a type theoretic and a logical formulation of the theory of constructions
Universitet
Göteborgs universitet/University of Gothenburg
Institution
Matematik
Datum
1978Författare
Smith, Jan, 1950-
Nyckelord
Matematik Allmänt
Publikationstyp
Doctoral thesis