![](/img/cover-not-exists.png)
A constructive manifestation of the Kleene–Kreisel continuous functionals
Escardó, Martín, Xu, ChuangjieLanguage:
english
Journal:
Annals of Pure and Applied Logic
DOI:
10.1016/j.apal.2016.04.011
Date:
April, 2016
File:
PDF, 1.18 MB
english, 2016