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

{"_id":"FYpsNT4cMkBayiDdS","bibbaseid":"kawamura-type2computabilityandmooresrecursivefunctions-2004","authorIDs":[],"author_short":["Kawamura, A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Kawamura"],"firstnames":["Akitoshi"],"suffixes":[]}],"title":"Type-2 Computability and Moore's Recursive Functions","booktitle":"Computability and Complexity in Analysis","year":"2004","editor":[{"propositions":[],"lastnames":["Brattka"],"firstnames":["Vasco"],"suffixes":[]},{"propositions":[],"lastnames":["Staiger"],"firstnames":["Ludwig"],"suffixes":[]},{"propositions":[],"lastnames":["Weihrauch"],"firstnames":["Klaus"],"suffixes":[]}],"volume":"320","series":"Informatik Berichte","pages":"79–89","month":"August","publisher":"FernUniversität in Hagen","note":"Sixth International Workshop, CCA 2004, Lutherstadt Wittenberg, Germany, August 16–20, 2004","bibtex":"@INPROCEEDINGS{Kaw04,\r\n author = {Kawamura, Akitoshi},\r\n title = {Type-2 Computability and {M}oore's Recursive Functions},\r\n booktitle = {Computability and Complexity in Analysis},\r\n year = {2004},\r\n editor = {Brattka, Vasco and Staiger, Ludwig and Weihrauch, Klaus},\r\n volume = {320},\r\n series = {Informatik Berichte},\r\n pages = {79--89},\r\n month = aug,\r\n publisher = {FernUniversit\\\"at in Hagen},\r\n note = {Sixth International Workshop, CCA 2004, Lutherstadt Wittenberg, Germany,\r\n\tAugust 16--20, 2004}\r\n}\r\n\r\n","author_short":["Kawamura, A."],"editor_short":["Brattka, V.","Staiger, L.","Weihrauch, K."],"key":"Kaw04","id":"Kaw04","bibbaseid":"kawamura-type2computabilityandmooresrecursivefunctions-2004","role":"author","urls":{},"downloads":0},"bibtype":"inproceedings","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-11T13:29:35.402Z","downloads":0,"keywords":[],"search_terms":["type","computability","moore","recursive","functions","kawamura"],"title":"Type-2 Computability and Moore's Recursive Functions","year":2004,"dataSources":["t7rKiAbxugj4Agz8M"]}