TY  - RPRT
TI  - A Type and Scope Safe Universe of Syntaxes with Binding: Their Semantics and Proofs
AU  - Guillaume Allais
AU  - Robert Atkey
AU  - James Chapman
AU  - Conor McBride
AU  - James McKinna
PY  - 2021
UR  - https://arxiv.org/abs/2001.11001
ID  - 2001.11001
ER  -