Stephen A. Cook, Bruce M. Kapron. Characterizations of the Basic Feasible Functionals of Finite Type (Extended Abstract). In 30th Annual Symposium on Foundations of Computer Science, 30 October-1 November 1989, Research Triangle Park, North Carolina, USA. pages 154-159, IEEE, 1989.
@inproceedings{CookK89, title = {Characterizations of the Basic Feasible Functionals of Finite Type (Extended Abstract)}, author = {Stephen A. Cook and Bruce M. Kapron}, year = {1989}, researchr = {https://researchr.org/publication/CookK89}, cites = {0}, citedby = {0}, pages = {154-159}, booktitle = {30th Annual Symposium on Foundations of Computer Science, 30 October-1 November 1989, Research Triangle Park, North Carolina, USA}, publisher = {IEEE}, }