A constructive valuation interpretation for classical logic and its use in witness extraction

Publisher Website

1 January 1992

book chapter
Published by Springer Nature

p. 1-23
https://doi.org/10.1007/3-540-55251-0_1

Abstract

No abstract available

Keywords

This publication has 6 references indexed in Scilit:

A formulae-as-type notion of control
Published by Association for Computing Machinery (ACM) ,1990
Classically and intuitionistically provably recursive functions
Published by Springer Nature ,1978
Proof Theory
Published by Springer Nature ,1977
Call-by-name, call-by-value and the λ-calculus
Theoretical Computer Science, 1975
Une Extension De ĽInterpretation De Gödel a ĽAnalyse, Et Son Application a ĽElimination Des Coupures Dans ĽAnalyse Et La Theorie Des Types
Published by Elsevier ,1971
Mathematical significance of consistency proofs
The Journal of Symbolic Logic, 1958