3 ms·
> If anyone has looked into this more, would be interesting to hear about it! I would have a look at e.g. Bob Harper's homotopy type theory lectures. In the 2n
by ratmice 10y ago
> If anyone has looked into this more, would be interesting to hear about it!
I would have a look at e.g. Bob Harper's homotopy type theory lectures. In the 2nd lecture on Judgements, he goes through it at about 50 minutes in.
http://www.cs.cmu.edu/~rwh/courses/hott/ http://www.cs.cmu.edu/~rwh/courses/hott/
And Andrej Bauer's paper/lecture on "5 stages of accepting constructive mathematics"
- wfn 10y agoThanks, will look at both! (I've been interested in HoTT but never looked closer.) Paper looks good, too (for future reference / interested folks, full version available at http://www.ams.org/journals/bull/0000-000-00/S0273-0979-2016-01556-4/S0273-0979-2016-01556-4.pdf http://www.ams.org/journals/bull/0000-000-00/S0273-0979-2016... )