Mathematics
and Interactions
Home
Videos
Collections
Institutions
Speakers
fr
Login
Please
leave your feedback
in order for us to improve your experience !
4 videos
50 ans du bâtiment Institut Fourier
3 videos
2026 - T1 - Illustration as a mathematical research technique
7 videos
2026 - T1 - WS1 - Rigorous Illustrations - Their creation and evaluation for mathematical research
5 videos
Illustration as a Mathematical Research Technique / La recherche mathématique par le biais de l'illustration
All the collections
All the institutions
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 +
Home
Videos
Collections
Institutions
Speakers
About
Login
Fr
/
En
Help
Legal Notice
& Privacy Policy
Copyright Carmin.tv 2026
By browsing our website, you accept the use of cookies to improve your experience.
Find out more about our privacy policy
.
Approve
Give feedback