Computer

Homotopy Type Theory Discussed – Computerphile

Discussing Homotopy Type Theory with Professor Thorsten Altenkirch. Main Vladimir Voevodsky Video: https://youtu.be/v5a5BYZwRx8 http://www.facebook.com/computerphile https://twitter.com/computer…

Products You May Like

Articles You May Like

How ID laws can put trans people in danger
7 Times Sean Carroll Explained Everything Like A Boss
7 Times Christopher Hitchens Dominated Dinesh D’Souza
Is Jupiter the Reason for Life on Earth?
Dialing Up onto the 2000s Internet! – Mental Floss Scatterbrained

Leave a Reply

Your email address will not be published. Required fields are marked *