%0 Conference Paper %1 conf/esop/CohenCM24 %A Cohen, Cyril %A Crance, Enzo %A Mahboubi, Assia %B ESOP (1) %D 2024 %E Weirich, Stephanie %I Springer %K dblp %P 239-268 %T Trocq: Proof Transfer for Free, With or Without Univalence. %U http://dblp.uni-trier.de/db/conf/esop/esop2024-1.html#CohenCM24 %V 14576 %@ 978-3-031-57262-3

@inproceedings{conf/esop/CohenCM24, added-at = {2024-06-08T00:00:00.000+0200}, author = {Cohen, Cyril and Crance, Enzo and Mahboubi, Assia}, biburl = {https://www.bibsonomy.org/bibtex/200352c7cce5ca75aa789f9690c84b0c0/dblp}, booktitle = {ESOP (1)}, crossref = {conf/esop/2024-1}, editor = {Weirich, Stephanie}, ee = {https://doi.org/10.1007/978-3-031-57262-3_10}, interhash = {6e789597c0dfb3989b16091a9a75f2ff}, intrahash = {00352c7cce5ca75aa789f9690c84b0c0}, isbn = {978-3-031-57262-3}, keywords = {dblp}, pages = {239-268}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-06-17T07:40:10.000+0200}, title = {Trocq: Proof Transfer for Free, With or Without Univalence.}, url = {http://dblp.uni-trier.de/db/conf/esop/esop2024-1.html#CohenCM24}, volume = 14576, year = 2024 }