Robert L. Constable. Type Two Computational Complexity. In Conference Record of Fifth Annual ACM Symposium on Theory of Computing, 30 April-2 May 1973, Austin, Texas, USA. pages 108-121, ACM, 1973.
@inproceedings{Constable73,
title = {Type Two Computational Complexity},
author = {Robert L. Constable},
year = {1973},
researchr = {https://researchr.org/publication/Constable73},
cites = {0},
citedby = {0},
pages = {108-121},
booktitle = {Conference Record of Fifth Annual ACM Symposium on Theory of Computing, 30 April-2 May 1973, Austin, Texas, USA},
publisher = {ACM},
}