On universes in type theory
- Författare
- Erik Palmgren
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| 1996 | Sverige, Uppsala | 13 sidor. | ||
| Matematiska institutionen, Univ. | 1991 | Sverige, Uppsala, Uppsala | [2], 12 sidor. 30 cm |
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| 1996 | Sverige, Uppsala | 13 sidor. | ||
| Matematiska institutionen, Univ. | 1991 | Sverige, Uppsala, Uppsala | [2], 12 sidor. 30 cm |