Bindings as bounded natural functors

Blanchette, J.C., Gheri, L., Popescu, A. et al. (1 more author) (2019) Bindings as bounded natural functors. Proceedings of the ACM on Programming Languages, 3 (POPL). 22. ISSN 2475-1421



Copyright, Publisher and Additional Information: © 2019 Copyright held by the owner/author(s). This work is licensed under a Creative Commons Attribution 4.0 International License. (
Keywords: syntax with bindings; inductive and coinductive datatypes; proof assistants
  • Published (online): 2 January 2019
  • Published: 2 January 2019
Institution: The University of Sheffield
Academic Units: The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield)
Depositing User: Symplectic Sheffield
Date Deposited: 29 May 2020 12:37
Last Modified: 29 May 2020 12:37
Status: Published
Publisher: Association for Computing Machinery (ACM)
Refereed: Yes
Identification Number:


Share / Export