On Building Constructive Formal Theories of Computation Noting the Roles of Turing, Church, and Brouwer - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Robert L. Constable' in Google

runs on WebDSL