News for hackers. Stuff that matters.

A comment on Foundations of Computer Science. Parent comment

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 ]

There are no comments on this comment yet.