Stephen A. Cook, Alasdair Urquhart. Functional Interpretations of Feasibly Constructive Arithmetic (Extended Abstract). In Proceedings of the Twenty-First Annual ACM Symposium on Theory of Computing, 15-17 May 1989, Seattle, Washington, USA. pages 107-112, ACM, 1989.
@inproceedings{CookU89,
title = {Functional Interpretations of Feasibly Constructive Arithmetic (Extended Abstract)},
author = {Stephen A. Cook and Alasdair Urquhart},
year = {1989},
researchr = {https://researchr.org/publication/CookU89},
cites = {0},
citedby = {0},
pages = {107-112},
booktitle = {Proceedings of the Twenty-First Annual ACM Symposium on Theory of Computing, 15-17 May 1989, Seattle, Washington, USA},
publisher = {ACM},
}