Video/Thierry Coquand - Computational Interpretation of Topos Theory

From PKC

Revision as of 02:32, 2 April 2022 by Benkoo (talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to navigation Jump to search

Coquand, Thierry (16 April 2018). Thierry Coquand - Computational Interpretation of Topos Theory. Institut des Hautes Études Scientifiques (IHÉS).

{{#ev:youtube|bF8gcIOKcqw}} Institut des Hautes Études Scientifiques

Retrieved from "https://pkc.pub/index.php?title=Video/Thierry_Coquand_-_Computational_Interpretation_of_Topos_Theory&oldid=28842"

Video