@inproceedings{inproceedings, title = {{A formalized general theory of syntax with聽bindings}}, publisher = {{Springer International Publishing}}, url = {{}}, year = {{2017}}, month = {{8}}, author = {{Gheri L and Popescu A}}, doi = {{10.1007/978-3-319-66107-0_16}}, isbn = {{9783319661063}}, volume = {{10499}}, journal = {{Interactive Theorem Proving: 8th International Conference, ITP 2017, Bras铆lia, Brazil, September 26鈥�29, 2017, Proceedings}}, pages = {{241-261}}, note = {{Accessed on 2025/04/07}}}