Publisher
Cambridge University Press (CUP)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. A Weakly Initial Algebra for Higher-Order Abstract Syntax in Cedille;Electronic Proceedings in Theoretical Computer Science;2019-10-12
2. Adjoint folds and unfolds—An extended study;Science of Computer Programming;2013-11
3. Adjoint Folds and Unfolds;Lecture Notes in Computer Science;2010