Computability and complexity of higher type functions. Cook, S. A. In Logic from computer science, volume 21, of Mathematical Sciences Research Institute Publications, pages 51–72, New York, 1992. Springer. Proceedings of the workshop held in Berkeley, California, November 13–17, 1989bibtex @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}
}
Downloads: 0
{"_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"]}