Video/Thierry Coquand - Computational Interpretation of Topos Theory

From PKC

Revision as of 20:20, 26 July 2021 by Admin (talk | contribs) (Admin moved page Video:Thierry Coquand - Computational Interpretation of Topos Theory to Video/Thierry Coquand - Computational Interpretation of Topos Theory)

(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=7423"

Video