Semantics and logics of computation
By: edited by Andrew M. Pitts, Peter Dybjer.
Contributors: Pitts, A. M.; Dybjer, Peter.
Series: Publications of the Newton Institute ;; 14
Publisher: Cambridge University Press
Published: 1997
Place of publication: Cambridge; New York
Language: eng
Number of pages: 361
Subjects: Electronic data processing.; Programming languages (Electronic computers) -- Semantics.; Logic, Symbolic and mathematical.
Notes: Includes bibliographical references and index.