I would recommend starting with linear logic to be honest. Logic is very simple to understand, mathematics is hard. Analogously, linear logic is simpler than co

I would recommend starting with linear logic to be honest. Logic is very simple to understand, mathematics is hard. Analogously, linear logic is simpler than constructive mathematics. https://johnwickerson.github.io/talks/linearlogic.pdf https://johnwickerson.github.io/talks/linearlogic.pdf I know this might not be what you were looking for but to be honest Linear logic is the simplest to understand of all of these. I’m still struggling with these ideas, but all the signs are pointing towards this being the case.