Thierry Coquand

  1. Title:
    Computational Interpretation of Topos Theory
    Speaker:
    Thierry Coquand

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

  2. Title:
    Logic and topology
    Speaker:
    Thierry Coquand

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