Semantics and Logic of Computation

• Άλλοι συγγραφείς: Dybjer, Peter (Επιμελητής έκδοσης), Pitts, A. M. (Andrew M.) (Επιμελητής έκδοσης)
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: Cambridge University Press
• Σειρά: Publications of the Newton Institute 14
• Θέματα: Υπολογισμός; Υπολογιστική; ΕΣΑ