How to make the “impossible” functionals run even faster
- 06 December 2011
A talk given at “Mathematics, Algorithms and Proofs 2011” at the Lorentz Center in Leiden, the Netherlands. I explain how to use computational effects to speed up Martin Escardo's impossible functionals.
Video recording: How to make the ‘impossible’ functionals run even faster