TY  - JOUR

T1  - Foundational extensible corecursion: a proof assistant perspective

JO  - ACM SIGPLAN Notices

UR  - http://dx.doi.org/10.1145/2858949.2784732

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  - 2024/12/23

ER  -