Games and weak-head reduction for classical PCF

This publication has 8 references indexed in Scilit:

• λμ-Calculus: An algorithmic interpretation of classical natural deduction
  Published by Springer Nature ,2005
• Game semantics and abstract machines
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• A semantic view of classical proofs: type-theoretic, categorical, and denotational characterizations
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Functional back-ends within the lambda-sigma calculus
  Published by Association for Computing Machinery (ACM) ,1996
• A semantics of evidence for classical arithmetic
  The Journal of Symbolic Logic, 1995
• Explicit substitutions
  Journal of Functional Programming, 1991
• Dialogues as a Foundation for Intuitionistic Logic
  Published by Springer Nature ,1986
• On the Original Gentzen Consistency Proof for Number Theory
  Published by Elsevier ,1970