TY  - CONF

T1  - Isomorphic Transfer Infrastructure for Nested Types in Isabelle/HOL (Work in Progress)

JO  - Ceur Workshop Proceedings

PY  - 2024/01/01

AU  - Buday G

AU  - Popescu A

ED  - 

VL  - 3860

SP  - 38

EP  - 48

Y2  - 2025/11/27

ER  -