- Record: found
- Abstract: not found
- Book Chapter: not found
Logic and Theory of Algorithms
Extraction in Coq: An Overview
other
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references4
- Record: found
- Abstract: not found
- Book Chapter: not found
A New Extraction for Coq
Pierre Letouzey (2003)
- Record: found
- Abstract: not found
- Article: not found
Program Extraction from Normalization Proofs
Ulrich Berger, Stefan Berghofer, Pierre Letouzey … (2006)
- Record: found
- Abstract: not found
- Article: not found
Proofs about a folklore let-polymorphic type inference algorithm
Oukseh Lee, Kwangkeun Yi (1998)