TY  - JOUR

T1  - Bindings as bounded natural functors

JO  - Proceedings of the ACM on Programming Languages

UR  - http://eprints.whiterose.ac.uk/161205/

PY  - 2019/01/02

AU  - Blanchette JC

AU  - Gheri L

AU  - Popescu A

AU  - Traytel D

ED  - 

DO  - DOI: 10.1145/3290335

PB  - Association for Computing Machinery (ACM)

VL  - 3

IS  - POPL

Y2  - 2024/12/23

ER  -