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

Puzzle To Share With A Special Someone: 128√e980 = ?
How a Blizzard Creates Thundersnow
You’re Driving Wrong and It’s Causing Traffic Jams
Desutopizando la utopía | Dante Klocker | TEDxLagunaSetúbal
We Asked Bill Gates: Do You Need To Be Rich To Be Healthy?

Leave a Reply

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