%0 Journal Article %1 journals/apal/EscardoX16 %A Escardó, Martín %A Xu, Chuangjie %D 2016 %J Ann. Pure Appl. Log. %K dblp %N 9 %P 770-793 %T A constructive manifestation of the Kleene-Kreisel continuous functionals. %U http://dblp.uni-trier.de/db/journals/apal/apal167.html#EscardoX16 %V 167

@article{journals/apal/EscardoX16, added-at = {2021-10-14T00:00:00.000+0200}, author = {Escardó, Martín and Xu, Chuangjie}, biburl = {https://www.bibsonomy.org/bibtex/2ccecf7b94bf210265612a8da9d17c8b3/dblp}, ee = {https://doi.org/10.1016/j.apal.2016.04.011}, interhash = {f6af9d596da48d50e160758735f3bc44}, intrahash = {ccecf7b94bf210265612a8da9d17c8b3}, journal = {Ann. Pure Appl. Log.}, keywords = {dblp}, number = 9, pages = {770-793}, timestamp = {2024-04-09T02:35:53.000+0200}, title = {A constructive manifestation of the Kleene-Kreisel continuous functionals.}, url = {http://dblp.uni-trier.de/db/journals/apal/apal167.html#EscardoX16}, volume = 167, year = 2016 }