Christa Jenkins, Andrew Marmaduke, Aaron Stump. Simulating Large Eliminations in Cedille. In Henning Basold, Jesper Cockx, Silvia Ghilezan, editors, 27th International Conference on Types for Proofs and Programs, TYPES 2021, June 14-18, 2021, Leiden, The Netherlands (Virtual Conference). Volume 239 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021. [doi]
Abstract is missing.