Proof Term Extraction is a method in proof theory and type systems that, within the framework of constructive logic and dependent type theory, generates a computational artifact—typically a lambda term—that witnesses the evidence of a proven proposition by extracting it directly from the structure of a formal proof.
7
Publications
137
Citations
10
Authors
7
Institutions
Publications per year
2017–2026
1
Variants
Program Extraction
Parents
Publications
7
Recent Progress in Proof Mining in Nonlinear Analysis.
Ulrich Kohlenbach · FLAP · 2017 · 22 citations
1–5 of 7
Authors
10
- CS
1
h-index
- UK
1
h-index
- YT
1
h-index
- MPMarco Pedicini
Istituto per le Applicazioni del Calcolo Mauro Picone, Italy
1 publications · 39 citations
1
h-index
- MS
1
h-index
1–5 of 10
Institutions
7
ANT Foundation Italy Onlus
Bologna, Italy
1 h-index
1 publications
12 citations
National University of Singapore
Singapore, Singapore
1 h-index
2 publications
20 citations
University of Iowa
Iowa City, United States
1 h-index
2 publications
34 citations
University of Alabama at Birmingham
Birmingham, United States
1 h-index
1 publications
18 citations
IAC (United States)
New York, United States
1 h-index
2 publications
78 citations
Istituto per le Applicazioni del Calcolo Mauro Picone
Rome, Italy
1 h-index
2 publications
78 citations
Zambon (Italy)
Bresso, Italy
1 h-index
1 publications
12 citations
1–7 of 7
Venues
- FLAP
1 publications · 22 citations
1
h-index
- Journal of Automated Reasoning
1 publications · 12 citations
1
h-index
- Journal of Logic and Computation
1 publications · 18 citations
1
h-index
- Theoretical Computer Science
1 publications · 39 citations
1
h-index
- Journal of Symbolic Computation
1 publications · 19 citations
1
h-index
1–5