TY  - CONF

T1  - Friends with benefits: implementing corecursion in foundational proof assistants

JO  - Programming Languages and Systems: 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017, Proceedings

PY  - 2017/03/19

AU  - Blanchette JC

AU  - Bouzy A

AU  - Lochbihler A

AU  - Popescu A

AU  - Traytel D

ED  - 

DO  - DOI: 10.1007/978-3-662-54434-1_5

PB  - Springer Berlin Heidelberg

SN  - 9783662544334

VL  - LNTCS,volume 10201

SP  - 111

EP  - 140

Y2  - 2024/09/19

ER  -