Computational Interpretations of Analysis via Products of Selection Functions.

Martn Htzel Escard, Paulo Oliva

Browse the full CiE paper archive.