Lorenzo Gheri, Andrei Popescu 0001. A General Theory of Syntax with Bindings. Archive of Formal Proofs, 2019, 2019. [doi]
@article{GheriP19, title = {A General Theory of Syntax with Bindings}, author = {Lorenzo Gheri and Andrei Popescu 0001}, year = {2019}, url = {https://www.isa-afp.org/entries/Binding_Syntax_Theory.html}, researchr = {https://researchr.org/publication/GheriP19}, cites = {0}, citedby = {0}, journal = {Archive of Formal Proofs}, volume = {2019}, }