Keywords > parametricity

Videos linked to parametricity

01:06:05

published on December 15, 2025

Trocq: Proof Transfer for Free, Beyond Equivalence and Univalence

By Cyril Cohen

01:17:33

published on May 19, 2014

Towards a Syntax for Cubical Type Theory 1/2

By Thorsten Altenkirch

59:32

published on May 19, 2014

Towards a Syntax for Cubical Type Theory 2/2

By Thorsten Altenkirch

More +

Copyright Carmin.tv 2026

Give feedback