A Computational Cantor-Bernstein and Myhill's Isomorphism Theorem in Constructive Type Theory (Proof Pearl) - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Yannick Forster 0002, Felix Jahn, Gert Smolka. A Computational Cantor-Bernstein and Myhill's Isomorphism Theorem in Constructive Type Theory (Proof Pearl). In Robbert Krebbers, Dmitriy Traytel, Brigitte Pientka, Steve Zdancewic, editors, Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2023, Boston, MA, USA, January 16-17, 2023. pages 159-166, ACM, 2023. [doi]

This author has not been identified. Look up 'Yannick Forster 0002' in GoogleThis author has not been identified. Look up 'Felix Jahn' in GoogleThis author has not been identified. Look up 'Gert Smolka' in Google

runs on WebDSL