Comment Comment by nextos Tangential question. Is there a mathematics curriculum out there that focuses on constructive foundations? Or is it possible to assemble one?I feel this would be much more adequate for then following up with pure CS studies on topics such as [1-6].Classical math bootcamps, like Math 55, are typically algebra plus analysis and they don't even focus too much on classical foundations.[1] https://www.elsevier.com/books/lectures-on-the-curry-howard-...[2] https://softwarefoundations.cis.upenn.edu/[3] https://www.cis.upenn.edu/~bcpierce/tapl/[4] https://www.springer.com/gb/book/9783540654100[5] http://www.concrete-semantics.org/[6] http://adam.chlipala.net/frap/ parent nextos 7 years ago
I feel this would be much more adequate for then following up with pure CS studies on topics such as [1-6].
Classical math bootcamps, like Math 55, are typically algebra plus analysis and they don't even focus too much on classical foundations.
[1] https://www.elsevier.com/books/lectures-on-the-curry-howard-...
[2] https://softwarefoundations.cis.upenn.edu/
[3] https://www.cis.upenn.edu/~bcpierce/tapl/
[4] https://www.springer.com/gb/book/9783540654100
[5] http://www.concrete-semantics.org/
[6] http://adam.chlipala.net/frap/