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  - 2024/12/23

ER  -