A constructive manifestation of the Kleene–Kreisel continuous functionals

Research output: Contribution to journal › Article › peer-review

3 Citations (Scopus)

153 Downloads (Pure)

Original language	English
Pages (from-to)	770-793
Journal	Annals of Pure and Applied Logic
Volume	167
Issue number	9
Early online date	20 Apr 2016
DOIs	https://doi.org/10.1016/j.apal.2016.04.011
Publication status	Published - 1 Sept 2016

Access to Document

@article{e3fb82878a164cfc97994ca5c086e8c0,

title = "A constructive manifestation of the Kleene–Kreisel continuous functionals",

author = "Mart{\'i}n Escard{\'o} and Chuangjie Xu",

year = "2016",

month = sep,

day = "1",

doi = "10.1016/j.apal.2016.04.011",

language = "English",

volume = "167",

pages = "770--793",

journal = "Annals of Pure and Applied Logic",

issn = "01680072",

publisher = "Elsevier",

number = "9",

}