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