On Building Constructive Formal Theories of Computation Noting the Roles of Turing, Church, and Brouwer.

Robert L. Constable

Browse the full LICS paper archive.