A Modern Perspective on Type Theory From its Origins until Today

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Kamareddine, Fairouz
Άλλοι συγγραφείς: Laan, Twan, Nederpelt, Rob
Μορφή: Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
Γλώσσα:English
Έκδοση: Dordrecht Springer Science + Business Media, Inc. 2005
Σειρά:Applied Logic Series 29
Θέματα:
Διαθέσιμο Online:http://dx.doi.org/10.1007/1-4020-2335-9

Παρόμοια τεκμήρια