Sciweavers

2 search results - page 1 / 1
» Dialectica Interpretation with Fine Computational Control
Sort
View
CIE
2009
Springer
13 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 poss...
Trifon Trifonov
MM
2006
ACM
96views Multimedia» more  MM 2006»
13 years 9 months ago
Takashi's seasons
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...
Takashi Kawashima, Togo Kida, Yoshimasa Niwa