Homotopy Type Theory Discussed – Computerphile

Discussing Homotopy Type Theory with Professor Thorsten Altenkirch. Main Vladimir Voevodsky Video:…

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 *