Cited in
(36)- Program extraction in exact real arithmetic
- The Warshall algorithm and Dickson's lemma: Two examples of realistic program extraction
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017
- Extracting imperative programs from proofs: In-place Quicksort
- Extracting a DPLL algorithm
- An algorithmic version of Zariski's lemma
- The seventeen provers of the world. Foreword by Dana S. Scott..
- Higman's lemma and its computational content
- Limits of real numbers in the binary signed digit representation
- Theorema 2.0: computer-assisted natural-style mathematics
- Functions-as-constructors Higher-order Unification
- Proofs, programs, processes
- Extracting verified decision procedures: DPLL and resolution
- Minlog -- a tool for program extraction supporting algebras and coalgebras
- Types for Proofs and Programs
- APS-1
- Beluga
- lolliCoP
- Abella
- Fudgets
- ROSCoq
- Pesca
- A proof-theoretic account of primitive recursion and primitive iteration
- KANREN
- CAL
- Teyjus
- AVL trees
- ELPI
- PRIZ
- A realizability interpretation of Church's simple theory of types
- Program extraction applied to monadic parsing
- On the constructive and computational content of abstract mathematics
- \textsc{Prawf}: an interactive proof system for program extraction
- Program extraction from nested definitions
- Optimized program extraction for induction and coinduction
- Intuitionistic fixed point logic
This page was built for software: Minlog