Talk page

Title:
Logic and topology

Speaker:
Thierry Coquand

Link:
https://www.youtube.com/watch?v=sOvQEzYGb-c