An evaluation semantics for classical proofs

This publication has 20 references indexed in Scilit:

• Constructive Mathematics and Computer Programming
  Published by Elsevier ,2014
• Abstracting control
  Published by Association for Computing Machinery (ACM) ,1990
• Control delimiters and their hierarchies
  Higher-Order and Symbolic Computation, 1990
• The theory and practice of first-class prompts
  Published by Association for Computing Machinery (ACM) ,1988
• Revised ³ report on the algorithmic language scheme
  ACM SIGPLAN Notices, 1986
• Syntactic translations and provably recursive functions
  The Journal of Symbolic Logic, 1985
• Definitional interpreters for higher-order programming languages
  Published by Association for Computing Machinery (ACM) ,1972
• Ideas and Results in Proof Theory
  Published by Elsevier ,1971
• Correspondence between ALGOL 60 and Church's Lambda-notation
  Communications of the ACM, 1965
• Mathematical significance of consistency proofs
  The Journal of Symbolic Logic, 1958