Refined program extraction from classical proofs

This publication has 10 references indexed in Scilit:

• λμ-Calculus: An algorithmic interpretation of classical natural deduction
  Published by Springer Nature ,2005
• The Warshall Algorithm and Dickson's Lemma: Two Examples of Realistic Program Extraction
  Journal of Automated Reasoning, 2001
• Programs from classical proofs
  Published by Walter de Gruyter GmbH ,1995
• Program extraction from classical proofs
  Published by Springer Nature ,1995
• Classical logic, storage operators and second-order lambda-calculus
  Annals of Pure and Applied Logic, 1994
• The revised report on the syntactic theories of sequential control and state
  Theoretical Computer Science, 1992
• A formulae-as-type notion of control
  Published by Association for Computing Machinery (ACM) ,1990
• A syntactic theory of sequential control
  Theoretical Computer Science, 1987
• Syntactic translations and provably recursive functions
  The Journal of Symbolic Logic, 1985
• Finiteness of the Odd Perfect and Primitive Abundant Numbers with n Distinct Prime Factors
  American Journal of Mathematics, 1913