@INPROCEEDINGS{Coo92,
  author = {Cook, Stephen A.},
  title = {Computability and complexity of higher type functions},
  booktitle = {Logic from computer science},
  year = {1992},
  editor = {Moschovakis, Y.N.},
  volume = {21},
  series = {Mathematical Sciences Research Institute Publications},
  pages = {51--72},
  address = {New York},
  publisher = {Springer},
  note = {Proceedings of the workshop held in Berkeley, California, November
	13--17, 1989},
  keywords = {bib,cca}
}

{"_id":"wdDwMvBPdZYxNi3ts","bibbaseid":"cook-computabilityandcomplexityofhighertypefunctions-1992","authorIDs":[],"author_short":["Cook, S. A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Cook"],"firstnames":["Stephen","A."],"suffixes":[]}],"title":"Computability and complexity of higher type functions","booktitle":"Logic from computer science","year":"1992","editor":[{"propositions":[],"lastnames":["Moschovakis"],"firstnames":["Y.N."],"suffixes":[]}],"volume":"21","series":"Mathematical Sciences Research Institute Publications","pages":"51–72","address":"New York","publisher":"Springer","note":"Proceedings of the workshop held in Berkeley, California, November 13–17, 1989","keywords":"bib,cca","bibtex":"@INPROCEEDINGS{Coo92,\r\n author = {Cook, Stephen A.},\r\n title = {Computability and complexity of higher type functions},\r\n booktitle = {Logic from computer science},\r\n year = {1992},\r\n editor = {Moschovakis, Y.N.},\r\n volume = {21},\r\n series = {Mathematical Sciences Research Institute Publications},\r\n pages = {51--72},\r\n address = {New York},\r\n publisher = {Springer},\r\n note = {Proceedings of the workshop held in Berkeley, California, November\r\n\t13--17, 1989},\r\n keywords = {bib,cca}\r\n}\r\n\r\n","author_short":["Cook, S. A."],"editor_short":["Moschovakis, Y."],"key":"Coo92","id":"Coo92","bibbaseid":"cook-computabilityandcomplexityofhighertypefunctions-1992","role":"author","urls":{},"keyword":["bib","cca"],"downloads":0},"bibtype":"inproceedings","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-10T10:17:53.569Z","downloads":0,"keywords":["bib","cca"],"search_terms":["computability","complexity","higher","type","functions","cook"],"title":"Computability and complexity of higher type functions","year":1992,"dataSources":["t7rKiAbxugj4Agz8M"]}