%0 Conference Paper %1 conf/cpp/0002JS23 %A Forster, Yannick %A Jahn, Felix %A Smolka, Gert %B CPP %D 2023 %E Krebbers, Robbert %E Traytel, Dmitriy %E Pientka, Brigitte %E Zdancewic, Steve %I ACM %K dblp %P 159-166 %T A Computational Cantor-Bernstein and Myhill's Isomorphism Theorem in Constructive Type Theory (Proof Pearl). %U http://dblp.uni-trier.de/db/conf/cpp/cpp2023.html#0002JS23

@inproceedings{conf/cpp/0002JS23, added-at = {2023-06-26T00:00:00.000+0200}, author = {Forster, Yannick and Jahn, Felix and Smolka, Gert}, biburl = {https://www.bibsonomy.org/bibtex/20e3e0d2a7413779456b336e3ab5056ff/dblp}, booktitle = {CPP}, crossref = {conf/cpp/2023}, editor = {Krebbers, Robbert and Traytel, Dmitriy and Pientka, Brigitte and Zdancewic, Steve}, ee = {https://doi.org/10.1145/3573105.3575690}, interhash = {1283ca2a15ee4bf0ba522a31c59d3753}, intrahash = {0e3e0d2a7413779456b336e3ab5056ff}, keywords = {dblp}, pages = {159-166}, publisher = {ACM}, timestamp = {2024-04-09T22:48:37.000+0200}, title = {A Computational Cantor-Bernstein and Myhill's Isomorphism Theorem in Constructive Type Theory (Proof Pearl).}, url = {http://dblp.uni-trier.de/db/conf/cpp/cpp2023.html#0002JS23}, year = 2023 }