@inproceedings{inproceedings, title  = {{Isomorphic Transfer Infrastructure for Nested Types in Isabelle/HOL (Work in Progress)}},

 url = {{}},

 year = {{2024}},

 month = {{1}},

 author = {{Buday G and Popescu A}},

 volume = {{3860}},

 journal = {{CEUR Workshop Proceedings}},

 pages = {{38-48}},

 note = {{Accessed on 2025/02/05}}}