TY  - JOUR

T1  - Foundational extensible corecursion: a proof assistant perspective

JO  - ACM SIGPLAN Notices

UR  - https://eprints.whiterose.ac.uk/id/eprint/191516

PY  - 2015/12/18

AU  - Blanchette JC

AU  - Popescu A

AU  - Traytel D

ED  - 

DO  - DOI: 10.1145/2858949.2784732

PB  - Association for Computing Machinery (ACM)

VL  - 50

IS  - 9

SP  - 192

EP  - 204

Y2  - 2025/11/27

ER  -