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

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 *