Extracting constructive content from classical logic via control-like reductions

This publication has 5 references indexed in Scilit:

• A constructive valuation interpretation for classical logic and its use in witness extraction
  Published by Springer Nature ,1992
• A new constructive logic: classic logic
  Mathematical Structures in Computer Science, 1991
• A formulae-as-type notion of control
  Published by Association for Computing Machinery (ACM) ,1990
• Classically and intuitionistically provably recursive functions
  Published by Springer Nature ,1978
• Mathematical significance of consistency proofs
  The Journal of Symbolic Logic, 1958