Bob Atkey: A Cubical Set Model for Relationally Parametric Type Theory

Back to workshop webpage