TY  - RPRT
TI  - Formalisation in Constructive Type Theory of Barendregt's Variable Convention for Generic Structures with Binders
AU  - Ernesto Copello
AU  - Nora Szasz
AU  - Álvaro Tasistro
PY  - 2018
DO  - 10.4204/eptcs.274.2
UR  - https://arxiv.org/abs/1807.01870
ID  - 1807.01870
ER  -