149 search results - page 1 / 30 » A realizability interpretation for classical analysis |
AML
2004
13 years 10 months ago
2004
We present a realizability interpretation for classical analysis
FUIN
2008
13 years 11 months ago
2008
This article investigates Krivine's realizability interpretation of classical second-order arithmetic and its recent extension handling countable choice. We will start by pre...
LICS
2007
IEEE
14 years 5 months ago
2007
IEEE
CORR
2011
Springer
13 years 5 months ago
2011
Springer
Abstract. We show how to extract existential witnesses from classical proofs using Krivine’s classical realizability—where classical proofs are interpreted as λ-terms with the...
MLQ
2010
13 years 9 months ago
2010
This article systematically investigates so-called “truth variants” of several functional interpretations. We start by showing a close relation between two variants of modifi...