TY  - CONF

T1  - Animating MRBNFs: Truly Modular Binding-Aware Datatypes in Isabelle/HOL

JO  - Leibniz International Proceedings in Informatics Lipics

PY  - 2025/09/22

AU  - van Brügge J

AU  - Popescu A

AU  - Traytel D

ED  - 

DO  - DOI: 10.4230/LIPIcs.ITP.2025.11

VL  - 352

Y2  - 2025/11/17

ER  -