Interpreting descriptions in intensional type theory
- Författare
- Jesper Carlström
- (Jesper Carlström.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Dept. of mathematics, Univ. | 2004 | Sverige, Stockholm | 26 sidor. |
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Dept. of mathematics, Univ. | 2004 | Sverige, Stockholm | 26 sidor. |