Inductive Continuity via Brouwer Trees.

Liron Cohen, Bruno da Rocha Paiva, Vincent Rahli, Ayberk Tosun

Browse the full MFCS paper archive.