The Gandy-Hyland functional and a computational aspect of nonstandard analysis. Sanders, S. Computability, 7(1):7–43, 2018. doi bibtex @ARTICLE{San18a,
author = {Sanders, Sam},
title = {The {G}andy-{H}yland functional and a computational aspect of nonstandard
analysis},
journal = {Computability},
year = {2018},
volume = {7},
pages = {7--43},
number = {1},
doi = {10.3233/COM-170074},
issn = {2211-3568},
keywords = {bib, cca},
mrclass = {03H05 (03D65)},
mrnumber = {3757286}
}
Downloads: 0
{"_id":"xfvjmRx4GXjQrq9uc","bibbaseid":"sanders-thegandyhylandfunctionalandacomputationalaspectofnonstandardanalysis-2018","authorIDs":[],"author_short":["Sanders, S."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Sanders"],"firstnames":["Sam"],"suffixes":[]}],"title":"The Gandy-Hyland functional and a computational aspect of nonstandard analysis","journal":"Computability","year":"2018","volume":"7","pages":"7–43","number":"1","doi":"10.3233/COM-170074","issn":"2211-3568","keywords":"bib, cca","mrclass":"03H05 (03D65)","mrnumber":"3757286","bibtex":"@ARTICLE{San18a,\r\n author = {Sanders, Sam},\r\n title = {The {G}andy-{H}yland functional and a computational aspect of nonstandard\r\n\tanalysis},\r\n journal = {Computability},\r\n year = {2018},\r\n volume = {7},\r\n pages = {7--43},\r\n number = {1},\r\n doi = {10.3233/COM-170074},\r\n issn = {2211-3568},\r\n keywords = {bib, cca},\r\n mrclass = {03H05 (03D65)},\r\n mrnumber = {3757286}\r\n}\r\n\r\n","author_short":["Sanders, S."],"key":"San18a","id":"San18a","bibbaseid":"sanders-thegandyhylandfunctionalandacomputationalaspectofnonstandardanalysis-2018","role":"author","urls":{},"keyword":["bib","cca"],"downloads":0},"bibtype":"article","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-10T10:17:54.029Z","downloads":0,"keywords":["bib","cca"],"search_terms":["gandy","hyland","functional","computational","aspect","nonstandard","analysis","sanders"],"title":"The Gandy-Hyland functional and a computational aspect of nonstandard analysis","year":2018,"dataSources":["t7rKiAbxugj4Agz8M"]}