Vol-3859⫷ Vol-3860 ⫸Vol-3861
urn:nbn:de:0074-3860-0


Vol-3860/paper_5⫷Vol-3860/paper_6⫸Vol-3860/paper_7
Gergely BudayAndrei Popescu 0001

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