2 search results - page 1 / 1 » Dialectica Interpretation with Fine Computational Control |
CIE
2009
Springer
14 years 5 months ago
2009
Springer
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 poss...
MM
2006
ACM
14 years 4 months ago
2006
ACM
Takashi’s Seasons is a sequential live shadow puppet/video performance in which a number of interpretations of the four seasons are performed by an artist. Controlled with fishi...