This page shows all presentations of this author published in EasyChair Smart Slide.
Relational Parametricity and Quotient Preservation for Modular (Co)datatypes
Andreas Lochbihler and Joshua Schneider