APAL
2008
13 years 10 months ago
2008
When G
AML
2004
13 years 10 months ago
2004
We present a realizability interpretation for classical analysis
MSCS
2006
13 years 10 months ago
2006
Modified bar recursion has been used to give a realizability interpretation of the classical axioms of countable and dependent choice. In this paper we survey the main results con...
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...
ENTCS
2008
13 years 11 months ago
2008
RZ is a tool which translates axiomatizations of mathematical structures to program specifications using the realizability interpretation of logic. This helps programmers correctl...
CONCUR
2007
Springer
14 years 5 months ago
2007
Springer
Abstract. We propose a new operational model for shared variable concurrency, in the context of a concurrent, higher-order imperative language `a la ML. In our model the scheduling...