Foundational Extensible Corecursion: A Proof Assistant Perspective
ACM SIGPLAN Notices - United States
doi 10.1145/2858949.2784732
Full Text
Open PDFAbstract
Available in full text
Categories
Date
December 18, 2015
Authors
Publisher
Association for Computing Machinery (ACM)