TY - CONF T1 - A formalized general theory of syntax with聽bindings JO - Interactive Theorem Proving: 8th International Conference, ITP 2017, Bras铆lia, Brazil, September 26鈥�29, 2017, Proceedings PY - 2017/08/21 AU - Gheri L AU - Popescu A ED - DO - DOI: 10.1007/978-3-319-66107-0_16 PB - Springer International Publishing SN - 9783319661063 VL - 10499 SP - 241 EP - 261 Y2 - 2025/04/04 ER -