Neil Ghani: Higher Dimensional Parametricity via Cubical Categories

Back to workshop webpage