PCF extended with real numbers. Escardó, M. H. In Ko, K. & Weihrauch, K., editors, Computability and Complexity in Analysis, volume 190, of Informatik Berichte, pages 11–24, September, 1995. FernUniversität Hagen. CCA Workshop, Hagen, August 19–20, 1995
bibtex   
@INPROCEEDINGS{Esc95,
  author = {Escard\'{o}, Mart\'{\i}n H\"otzel},
  title = {{PCF} extended with real numbers},
  booktitle = {Computability and Complexity in Analysis},
  year = {1995},
  editor = {Ko, Ker-I and Weihrauch, Klaus},
  volume = {190},
  series = {Informatik Berichte},
  pages = {11--24},
  month = sep,
  publisher = {FernUniversit\"at Hagen},
  note = {CCA Workshop, Hagen, August 19--20, 1995}
}
Downloads: 0