Video/Thierry Coquand - Computational Interpretation of Topos Theory

From PKC

Revision as of 08:22, 18 July 2021 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}}

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

Video