On the relation between a type theoretic and a logical formulation of the theory of constructions
University
Göteborgs universitet/University of Gothenburg
Institution
Matematik
Date
1978Author
Smith, Jan, 1950-
Keywords
Matematik Allmänt
Publication type
Doctoral thesis