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/