Rohan Jacob-Rao, Andrew Cave, Brigitte Pientka. Mechanizing Proofs about Mendler-style Recursion. In Gilles Dowek, Daniel R. Licata, Sandra Alves, editors, Proceedings of the Eleventh Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP 2016, Porto, Portugal, June 23, 2016. ACM, 2016. [doi]
No references recorded for this publication.
No citations of this publication recorded.