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 |
