Semantics and logics of computation

• Other Authors: Pitts, A. M. (Andrew M.) (Editor), Dybjer, Peter (Editor)
• Format: Book
• Language: English
• Published: Cambridge Cambridge University Press 1997
• Series: Publications of the Newton Institute 14
• Subjects: Επιστήμη των υπολογιστών > Μαθηματικά
• Physical Description: xii, 361 p. fig. 24 cm.
• Bibliography: Includes bibliographical references and index
• ISBN: 0521580579