A Zoo of Continuity Properties in Constructive Type Theory.

Martin Baillon, Yannick Forster, Assia Mahboubi, Pierre-Marie Pdrot, Matthieu Piquerez

Browse the full FSCD paper archive.