Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Hinze, Ralf
2010.
Mathematics of Program Construction.
Vol. 6120,
Issue. ,
p.
195.
Hinze, Ralf
2013.
Adjoint folds and unfolds—An extended study.
Science of Computer Programming,
Vol. 78,
Issue. 11,
p.
2108.
Stump, Aaron
2019.
A Weakly Initial Algebra for Higher-Order Abstract Syntax in Cedille.
Electronic Proceedings in Theoretical Computer Science,
Vol. 307,
Issue. ,
p.
55.
Discussions
No Discussions have been published for this article.