Go to the corresponding LIPIcs Volume Portal 
Dubois, Catherine ; Magaud, Nicolas ; Giorgetti, Alain
pdfformat: 

@InProceedings{dubois_et_al:LIPIcs.TYPES.2022.11, author = {Dubois, Catherine and Magaud, Nicolas and Giorgetti, Alain}, title = {{Pragmatic Isomorphism Proofs Between Coq Representations: Application to LambdaTerm Families}}, booktitle = {28th International Conference on Types for Proofs and Programs (TYPES 2022)}, pages = {11:111:19}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {9783959772853}, ISSN = {18688969}, year = {2023}, volume = {269}, editor = {Kesner, Delia and P\'{e}drot, PierreMarie}, publisher = {Schloss Dagstuhl  LeibnizZentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/opus/volltexte/2023/18454}, URN = {urn:nbn:de:0030drops184548}, doi = {10.4230/LIPIcs.TYPES.2022.11}, annote = {Keywords: Data Representations, Isomorphisms, dependent Types, formal Proofs, random Generation, lambda Terms, Coq} }
Keywords:  Data Representations, Isomorphisms, dependent Types, formal Proofs, random Generation, lambda Terms, Coq  
Collection:  28th International Conference on Types for Proofs and Programs (TYPES 2022)  
Issue Date:  2023  
Date of publication:  28.07.2023  
Supplementary Material:  Software (Source Code): https://github.com/magaud/postTYPES2022 archived at: https://archive.softwareheritage.org/swh:1:dir:f01d28048087438c173ad32a5536f79755285465 