A Modern Perspective on Type Theory From its Origins until Today
Κύριος συγγραφέας: | |
---|---|
Άλλοι συγγραφείς: | , |
Μορφή: | Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Dordrecht
Springer Science + Business Media, Inc.
2005
|
Σειρά: | Applied Logic Series
29 |
Θέματα: | |
Διαθέσιμο Online: | http://dx.doi.org/10.1007/1-4020-2335-9 |
Φυσική περιγραφή: | v.: digital |
---|---|
ISBN: | 9781402023354 |
ISSN: | 1386-2790 |