62 search results - page 1 / 13 » Modified bar recursion |
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...
CIE
2006
Springer
14 years 2 months ago
2006
Springer
This note reexamines Spector's remarkable computational interpretation of full classical analysis. Spector's interpretation makes use of a rather abstruse recursion schem...
MSCS
2010
13 years 9 months ago
2010
JSYML
2010
13 years 5 months ago
2010
We prove that the (non-intuitionistic) law of the double negation shift has a bounded functional interpretation with bar recursive functionals of finite type. As an application, we...
ICIP
2000
IEEE
14 years 3 months ago
2000
IEEE
Charts are common graphic representation for scientific data in technical and business papers. We present a robust system for detecting and recognizing bar charts. The system incl...