TY  - RPRT
TI  - Formal Metatheory of Second-Order Abstract Syntax
AU  - Marcelo Fiore
AU  - Dmitrij Szamozvancev
PY  - 2022
DO  - 10.1145/3498715
UR  - https://arxiv.org/abs/2201.03504
ID  - 2201.03504
ER  -