Semantics and Logic of Computation

• Other Authors: Dybjer, Peter (Editor), Pitts, A. M. (Andrew M.) (Editor)
• Format: Book
• Language: English
• Published: Cambridge University Press
• Series: Publications of the Newton Institute 14
• Subjects: Υπολογισμός; Υπολογιστική; ΕΣΑ