Continuity as a computational effect

Renato Neves, Luís Soares Barbosa, Dirk Hofmann, Manuel A. Martins. Continuity as a computational effect. Journal of Logic and Algebraic Programming, 85(5):1057-1085, 2016. [doi]

Abstract

Abstract is missing.