Login / Signup

A constructive manifestation of the Kleene-Kreisel continuous functionals.

Martín EscardóChuangjie Xu
Published in: Ann. Pure Appl. Log. (2016)
Keyphrases