Type-2 Computability and Moore's Recursive Functions. Kawamura, A. In Brattka, V.; Staiger, L.; and Weihrauch, K., editors, Computability and Complexity in Analysis, volume 320, of Informatik Berichte, pages 79–89, August, 2004. FernUniversität in Hagen. Sixth International Workshop, CCA 2004, Lutherstadt Wittenberg, Germany, August 16–20, 2004
bibtex   
@INPROCEEDINGS{Kaw04,
  author = {Kawamura, Akitoshi},
  title = {Type-2 Computability and {M}oore's Recursive Functions},
  booktitle = {Computability and Complexity in Analysis},
  year = {2004},
  editor = {Brattka, Vasco and Staiger, Ludwig and Weihrauch, Klaus},
  volume = {320},
  series = {Informatik Berichte},
  pages = {79--89},
  month = aug,
  publisher = {FernUniversit\"at in Hagen},
  note = {Sixth International Workshop, CCA 2004, Lutherstadt Wittenberg, Germany,
	August 16--20, 2004}
}
Downloads: 0