Sciweavers

Share
CIE
2009
Springer

Dialectica Interpretation with Fine Computational Control

9 years 10 months ago
Dialectica Interpretation with Fine Computational Control
This paper is an attempt to refine Hernest’s [2] extension of Berger’s uniform quantifiers [1] to G¨odel’s functional (Dialectica) interpretation [3]. We consider the possibility to switch on and off every computational component and explore possible applications of the refined interpretation.
Trifon Trifonov
Added 26 May 2010
Updated 26 May 2010
Type Conference
Year 2009
Where CIE
Authors Trifon Trifonov
Comments (0)
books