Semantics and logics of computation

Author(s)

• Pitts, A. M
• Dybjer, Peter

Bibliographic Information

Semantics and logics of computation

edited by Andrew M. Pitts, Peter Dybjer

（Publications of the Newton Institute, 14）

Cambridge University Press, 1997

Note

Includes bibliographical references and index

Details

• NCID: BA29509863
• ISBN:
  • 0521580579
• LCCN: 96050390
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: New York
• Pages/Volumes: xii, 361 p.
• Size: 24 cm
• Classification:
  • LCC : QA76
  • DC21 : 004/.01/5113
• Subject Headings:
  • LCSH : Electronic data processing
  • LCSH : Programming language (Electoronic computers) -- Semantics
  • LCSH : Logic, Symbolic and mathematical
• Parent Bibliography ID:
  • BA22465034