A constructive manifestation of the Kleene-Kreisel continuous functionals

Martín Escardó, Chuangjie Xu. A constructive manifestation of the Kleene-Kreisel continuous functionals. Annals of Pure and Applied Logic, 167(9):770-793, 2016. [doi]

Abstract

Abstract is missing.