Generic derivation of induction for impredicative encodings in Cedille - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Denis Firsov, Aaron Stump. Generic derivation of induction for impredicative encodings in Cedille. In June Andronick, Amy P. Felty, editors, Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2018, Los Angeles, CA, USA, January 8-9, 2018. pages 215-227, ACM, 2018. [doi]

This author has not been identified. Look up 'Denis Firsov' in GoogleThis author has not been identified. Look up 'Aaron Stump' in Google

runs on WebDSL