Characterising Brouwer's continuity by bar recursion on moduli of continuity

Makoto Fujiwara, Tatsuji Kawai. Characterising Brouwer's continuity by bar recursion on moduli of continuity. Arch. Math. Log., 60(1):241-263, 2021. [doi]

Abstract

Abstract is missing.