Computation in Type Theory
| Coquand, Catarina | en | |
| 2008-08-11T10:37:53Z | ||
| 2008-08-11T10:37:53Z | ||
| 1996 | en | |
| (saknas) | ||
| 1996. Sammanläggningsavhandling. Department of Computing Science. | en | |
| 837 | en | |
| Göteborgs universitet/University of Gothenburg | eng | |
| http://hdl.handle.net/2077/17417 | ||
| Computation in Type Theory | en | |
| Text | en | |
| Doctoral thesis | en |