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]
Abstract is missing.