A nominal exploration of intuitionism - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Vincent Rahli, Mark Bickford. A nominal exploration of intuitionism. In Jeremy Avigad, Adam Chlipala, editors, Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs, Saint Petersburg, FL, USA, January 20-22, 2016. pages 130-141, ACM, 2016. [doi]

This author has not been identified. Look up 'Vincent Rahli' in GoogleThis author has not been identified. Look up 'Mark Bickford' in Google

runs on WebDSL