TY  - RPRT
TI  - Signatures and models for syntax and operational semantics in the presence of variable binding
AU  - Ambroise Lafont
PY  - 2019
UR  - https://arxiv.org/abs/1910.09162
ID  - 1910.09162
ER  -