2 search results - page 1 / 1 » Dialectica Interpretation with Fine Computational Control |
87
Voted
CIE
2009
Springer
15 years 11 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...
132
click to vote
MM
2006
ACM
15 years 10 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...