Volume: Vol-3860 iFM-Phd 2024 | Year: 2024

Paper: « paper_5 | paper_6 | paper_7 »

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

• Gergely Buday dblp
• Andrei Popescu 0001 ORCID dblp Wikidata

38-48 PDF