@Inproceedings{EPTCS317.5, author = {Jenkins, Christopher and Stump, Aaron and Diehl, Larry}, year = {2020}, title = {Efficient lambda encodings for Mendler-style coinductive types in Cedille}, editor = {New, Max S. and Lindley, Sam}, booktitle = {{\rm Proceedings Eighth Workshop on} Mathematically Structured Functional Programming, {\rm Dublin, Ireland, 25th April 2020}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {317}, publisher = {Open Publishing Association}, pages = {72-97}, doi = {10.4204/EPTCS.317.5}, }