@article{allais-2021-a, title={A type- and scope-safe universe of syntaxes with binding: their semantics and proofs}, volume={31}, ISSN={1469-7653}, url={http://dx.doi.org/10.1017/s0956796820000076}, DOI={10.1017/s0956796820000076}, journal={Journal of Functional Programming}, publisher={Cambridge University Press (CUP)}, author={ALLAIS, GUILLAUME and ATKEY, ROBERT and CHAPMAN, JAMES and MCBRIDE, CONOR and MCKINNA, JAMES}, year={2021} }