Robert L. Constable. On Building Constructive Formal Theories of Computation Noting the Roles of Turing, Church, and Brouwer. In Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, LICS 2012, Dubrovnik, Croatia, June 25-28, 2012. pages 2-8, IEEE, 2012. [doi]
@inproceedings{Constable12,
title = {On Building Constructive Formal Theories of Computation Noting the Roles of Turing, Church, and Brouwer},
author = {Robert L. Constable},
year = {2012},
doi = {10.1109/LICS.2012.9},
url = {http://dx.doi.org/10.1109/LICS.2012.9},
researchr = {https://researchr.org/publication/Constable12},
cites = {0},
citedby = {0},
pages = {2-8},
booktitle = {Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, LICS 2012, Dubrovnik, Croatia, June 25-28, 2012},
publisher = {IEEE},
isbn = {978-1-4673-2263-8},
}