@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}
}

{"_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"]}