Classical proofs as programs: How, what and why

This publication has 6 references indexed in Scilit:

• Abstracting control
  Published by Association for Computing Machinery (ACM) ,1990
• A formulae-as-type notion of control
  Published by Association for Computing Machinery (ACM) ,1990
• Revised ³ report on the algorithmic language scheme
  ACM SIGPLAN Notices, 1986
• Classically and intuitionistically provably recursive functions
  Published by Springer Nature ,1978
• Call-by-name, call-by-value and the λ-calculus
  Theoretical Computer Science, 1975
• Lambda calculus schemata
  ACM SIGPLAN Notices, 1972