Semantics and logics of computation

• Άλλοι συγγραφείς: Pitts, A. M. (Andrew M.) (Επιμελητής έκδοσης), Dybjer, Peter (Επιμελητής έκδοσης)
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: Cambridge Cambridge University Press 1997
• Σειρά: Publications of the Newton Institute 14
• Θέματα: Επιστήμη των υπολογιστών > Μαθηματικά
• Φυσική περιγραφή: xii, 361 p. fig. 24 cm.
• Βιβλιογραφία: Includes bibliographical references and index
• ISBN: 0521580579