A modern perspective on type theory - from its origins until today
- Författare
- Fairouz D. Kamareddine
- (Fairouz Kamareddine, Twan Laan, and Rob Nederpelt.)
- Genre
- Bibliografi
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Kluwer Academic Publishers | 2004 | Massachusetts, Boston | 357 sidor. | 1-4020-2334-0 |