Back to Results
First PageMeta Content
Declarative programming / Software engineering / Computer programming / Functional programming / Theoretical computer science / Category theory / Recursion / Type theory / Corecursion / Symbol / Stream / Constructible universe


Friends with Benefits Implementing Foundational Corecursion in Proof Assistants Jasmin Christian Blanchette Aymeric Bouzy
Add to Reading List

Document Date: 2016-07-18 12:57:54

Open Document

File Size: 308,05 KB

Share Result on Facebook