Oracles Just for Fan: A Robust Computational Interpretation of the Fan Theorem.

Titouan Leclercq, tienne Miquey

Browse the full LICS paper archive.