Video/Thierry Coquand - Computational Interpretation of Topos Theory

From PKC
Revision as of 02:35, 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}}

References

Related Pages

Institut des Hautes Études Scientifiques Thierry Coquand

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