A sound metalogical semantics for input/output effects

This publication has 13 references indexed in Scilit:

• Categories for Types
  Published by Cambridge University Press (CUP) ,1994
• Full Abstraction in the Lazy Lambda Calculus
  Information and Computation, 1993
• An operational semantics for I/O in a lazy functional language
  Published by Association for Computing Machinery (ACM) ,1993
• New foundations for fixpoint computations: FIX-hyperdoctrines and the FIX-logic
  Information and Computation, 1992
• A semantics for ML concurrency primitives
  Published by Association for Computing Machinery (ACM) ,1992
• Algebraically complete categories
  Lecture Notes in Mathematics, 1991
• Denotational Semantics
  Published by Elsevier ,1990
• Towards a lambda-calculus for concurrent and communicating systems
  Published by Springer Nature ,1989
• Revised ³ report on the algorithmic language scheme
  ACM SIGPLAN Notices, 1986
• LISP 1.5 PROGRAMMER'S MANUAL
  Published by Defense Technical Information Center (DTIC) ,1962