A Proof and Formalization of the Initiality Conjecture of Dependent Type Theory
- Författare
- Menno de Boer
- Genre
- Statlig publikation, theses
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Department of Mathematics, Stockholm University | 2020 | Sverige, Stockholm | 94 | |
| Stockholms universitet | 2020 | Sverige, Stockholm | 94 sidor |