Sciweavers

JSYML
2010
70views more  JSYML 2010»
12 years 10 months ago
The bounded functional interpretation of the double negation shift
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...
Patrícia Engrácia, Fernando Ferreira