| Originele taal-2 | Engels |
|---|---|
| Plaats van productie | Eindhoven |
| Uitgeverij | Technische Universiteit Eindhoven |
| Aantal pagina's | 74 |
| Status | Gepubliceerd - 2002 |
Publicatie series
| Naam | Computer science reports |
|---|---|
| Volume | 0205 |
| ISSN van geprinte versie | 0926-4515 |
Weak Type Theory : a formal language for mathematics
Onderzoeksoutput: Boek/rapport › Rapport › Academic
405
Downloads
(Pure)