32 search results - page 1 / 7 » Modified Realizability Interpretation of Classical Linear Lo... |
LICS
2007
IEEE
13 years 11 months ago
2007
IEEE
WOLLIC
2007
Springer
13 years 11 months ago
2007
Springer
We survey several computational interpretations of classical linear logic based on two-player one-move games. The moves of the games are higherorder functionals in the language of ...
CIE
2008
Springer
13 years 6 months ago
2008
Springer
We show how different functional interpretations can be combined via a multi-modal linear logic. A concrete hybrid of Kreisel's modified realizability and G
FUIN
2008
13 years 5 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...
MLQ
2010
13 years 3 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...