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, 1989
bibtex   
@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