On the relation between a type theoretic and a logical formulation of the theory of constructions
| Smith, Jan, 1950- | en | |
| 2008-08-11T10:02:52Z | ||
| 2008-08-11T10:02:52Z | ||
| 1978 | en | |
| Matematik | en | |
| MNF | ||
| Göteborg [1978] | en | |
| 4204 | en | |
| Göteborgs universitet/University of Gothenburg | eng | |
| http://hdl.handle.net/2077/14210 | ||
| Matematik Allmänt | en | |
| On the relation between a type theoretic and a logical formulation of the theory of constructions | en | |
| Text | en | |
| Doctoral thesis | en |