Video/Thierry Coquand - Computational Interpretation of Topos Theory

From PKC
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"