A modern perspective on type theory: from its origins until today
Dordrecht [u.a.]: Kluwer Acad. Publ, 2004
Monographie, Gedruckte Ressource
- XIV, 357 S.
Zugriff:
Ermittle Ausleihstatus...
Titel: |
A modern perspective on type theory: from its origins until today
|
---|---|
Verantwortlichkeitsangabe: | Fairouz Kamareddine, Twan Laan and Rob Nederpelt |
Autor/in / Beteiligte Person: | Kamareddine, Fairouz Dib ; Laan, Twan (1970-) ; Nederpelt, Rob P. |
Link: | |
Verwandtes Werk: | |
Veröffentlichung: | Dordrecht [u.a.]: Kluwer Acad. Publ, 2004 |
Medientyp: | Monographie |
Datenträgertyp: | Gedruckte Ressource |
Umfang: | XIV, 357 S. |
ISBN: | 1402023340; 1402023359; 9789048166398 (pbk) |
Schlagwort: |
|
Sonstiges: |
|