Program Extraction in Simply-Typed Higher Order Logic

This publication has 15 references indexed in Scilit:

• Object-Oriented Technology ECOOP 2002 Workshop Reader
  Lecture Notes in Computer Science, 2002
• The 5 Colour Theorem in Isabelle/Isar
  Published by Springer Nature ,2002
• Refined program extraction from classical proofs
  Annals of Pure and Applied Logic, 2002
• Executing Higher Order Logic
  Published by Springer Nature ,2002
• A Higher-order Interpretation of Deductive Tableau
  Journal of Symbolic Computation, 2001
• The Warshall Algorithm and Dickson's Lemma: Two Examples of Realistic Program Extraction
  Journal of Automated Reasoning, 2001
• Proof Terms for Simply Typed Higher Order Logic
  Published by Springer Nature ,2000
• Proof Theory at Work: Program Development in the Minlog System
  Published by Springer Nature ,1998
• Program extraction in a Logical Framework setting
  Published by Springer Nature ,1994
• Deliverables: a categorical approach to program development in type theory
  Published by Springer Nature ,1993