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
Search Result 1
ανά Kamareddine, Fairouz, Laan, Twan, Nederpelt, Rob
Έκδοση 2005
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο