http://lmgtfy.com/?q=HoTT read the article. HOmotopy Type Theory | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

shpx on Dec 15, 2013 | parent | context | favorite | on: Voevodsky’s Mathematical Revolution

http://lmgtfy.com/?q=HoTT

read the article. HOmotopy Type Theory

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact