Lorenzo Gheri, Andrei Popescu 0001. A Formalized General Theory of Syntax with Bindings: Extended Version. Journal of Automated Reasoning, 64(4):641-675, 2020. [doi]
@article{GheriP20, title = {A Formalized General Theory of Syntax with Bindings: Extended Version}, author = {Lorenzo Gheri and Andrei Popescu 0001}, year = {2020}, doi = {10.1007/s10817-019-09522-2}, url = {https://doi.org/10.1007/s10817-019-09522-2}, researchr = {https://researchr.org/publication/GheriP20}, cites = {0}, citedby = {0}, journal = {Journal of Automated Reasoning}, volume = {64}, number = {4}, pages = {641-675}, }