News for hackers. Stuff that matters.

A comment on Foundations of Computer Science. Parent comment

Re:Foundations of Computer Science by decasteve on Monday June 24, 2013 @12:44PM (#5934063)
HoTT even more than that. Type theory does what you describe without the "homotopy".

See: http://golem.ph.utexas.edu/category/2013/06/the_hott_book.ht...

[ Parent | on HN ]
Re:Foundations of Computer Science by tome on Monday June 24, 2013 @01:58PM (#5934557)
It will be easier to convince mathematicians that homotopy theory is maths than it will be to convince them that type theory is (in general).
[ Parent | on HN ]