Jan Smith
Original record- Institution
- Göteborgs universitet
- Year
- 1978
- Country
- Sweden
- MGP identifier
- 34788
Dissertation: On the relation between a type theoretic and a logical formulation of the theory of constructions
Advisor 1
- Per Martin-LöfStockholm University · 1970
Students 1
| Name | Institution | Year | Students |
|---|---|---|---|
| Tanel Tammet | Göteborgs universitet | 1992 | 0 |