@INPROCEEDINGS{Sch98a,
  author = {Schulz, Holger},
  title = {Type 2 Theory of Effectivity and Real {PCF}},
  booktitle = {Computability and Complexity in Analysis},
  year = {1998},
  editor = {Ko, Ker-I and Nerode, Anil and Pour-El, Marian B. and Weihrauch,
	Klaus and Wiedermann, Ji{\v{r}}{\'{\i}}},
  volume = {235},
  series = {Informatik Berichte},
  pages = {81--90},
  month = aug,
  publisher = {FernUniversit\"at Hagen},
  note = {CCA Workshop, Brno, Czech Republic, August, 1998},
  keywords = {bib,cca}
}

{"_id":"FCYHGr7vEikJxdn7a","bibbaseid":"schulz-type2theoryofeffectivityandrealpcf-1998","authorIDs":[],"author_short":["Schulz, H."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Schulz"],"firstnames":["Holger"],"suffixes":[]}],"title":"Type 2 Theory of Effectivity and Real PCF","booktitle":"Computability and Complexity in Analysis","year":"1998","editor":[{"propositions":[],"lastnames":["Ko"],"firstnames":["Ker-I"],"suffixes":[]},{"propositions":[],"lastnames":["Nerode"],"firstnames":["Anil"],"suffixes":[]},{"propositions":[],"lastnames":["Pour-El"],"firstnames":["Marian","B."],"suffixes":[]},{"propositions":[],"lastnames":["Weihrauch"],"firstnames":["Klaus"],"suffixes":[]},{"propositions":[],"lastnames":["Wiedermann"],"firstnames":["Jiří"],"suffixes":[]}],"volume":"235","series":"Informatik Berichte","pages":"81–90","month":"August","publisher":"FernUniversität Hagen","note":"CCA Workshop, Brno, Czech Republic, August, 1998","keywords":"bib,cca","bibtex":"@INPROCEEDINGS{Sch98a,\r\n author = {Schulz, Holger},\r\n title = {Type 2 Theory of Effectivity and Real {PCF}},\r\n booktitle = {Computability and Complexity in Analysis},\r\n year = {1998},\r\n editor = {Ko, Ker-I and Nerode, Anil and Pour-El, Marian B. and Weihrauch,\r\n\tKlaus and Wiedermann, Ji{\\v{r}}{\\'{\\i}}},\r\n volume = {235},\r\n series = {Informatik Berichte},\r\n pages = {81--90},\r\n month = aug,\r\n publisher = {FernUniversit\\\"at Hagen},\r\n note = {CCA Workshop, Brno, Czech Republic, August, 1998},\r\n keywords = {bib,cca}\r\n}\r\n\r\n","author_short":["Schulz, H."],"editor_short":["Ko, K.","Nerode, A.","Pour-El, M. B.","Weihrauch, K.","Wiedermann, J."],"key":"Sch98a","id":"Sch98a","bibbaseid":"schulz-type2theoryofeffectivityandrealpcf-1998","role":"author","urls":{},"keyword":["bib","cca"],"downloads":0},"bibtype":"inproceedings","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-10T10:17:54.044Z","downloads":0,"keywords":["bib","cca"],"search_terms":["type","theory","effectivity","real","pcf","schulz"],"title":"Type 2 Theory of Effectivity and Real PCF","year":1998,"dataSources":["t7rKiAbxugj4Agz8M"]}