A syntactic approach to continuity of T-definable functionals

Chuangjie Xu. A syntactic approach to continuity of T-definable functionals. Logical Methods in Computer Science, 16(1), 2020. [doi]

Abstract

Abstract is missing.