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

10 Most Freaky Space Conspiracy Theories
How to stay calm under pressure – Noa Kageyama and Pen-Pen Chen
Right-wing politics has a new secret weapon. Can the Left harness it? | Jeremy Heimans
If There’s Acid Rain, Is There Basic Rain?
Dogs Can Smell Fear! And Other Dog Facts – Mental Floss Scatterbrained

Leave a Reply

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