"Efficient lambda encodings for Mendler-style coinductive types in Cedille."

Christopher Jenkins, Aaron Stump, Larry Diehl (2020)
a service of Schloss Dagstuhl - Leibniz Center for Informatics