Talk page

Title:
Computational Interpretation of Topos Theory

Speaker:
Thierry Coquand

Link:
https://www.youtube.com/watch?v=bF8gcIOKcqw