3 ms·
For what it's worth, the education that Devlin is suggesting is not theoretical computer science or type theory. It's the more traditional mathematics courses.
by j2kun 12y ago
For what it's worth, the education that Devlin is suggesting is not theoretical computer science or type theory. It's the more traditional mathematics courses.
- eli_gottlieb 12y agoOnce you add the topology section to the Curry-Howard Isomorphism via homotopy type theory it all starts to merge anyway!