Extending pruning techniques to polymorphic second order λ-calculus
- 1 January 1994
- book chapter
- Published by Springer Nature
- p. 120-134
- https://doi.org/10.1007/3-540-57880-3_8
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Extraction of redundancy-free programs from constructive natural deduction proofsJournal of Symbolic Computation, 1991
- Extracting ω's programs from proofs in the calculus of constructionsPublished by Association for Computing Machinery (ACM) ,1989
- Foundations of Constructive MathematicsPublished by Springer Nature ,1985
- Metamathematical Investigation of Intuitionistic Arithmetic and AnalysisPublished by Springer Nature ,1973