on the other hand, you can (sorta) go from lambda calculus up through all the sugar of a nice Lisp. or start with types and evolve dependent types and get all t

on the other hand, you can (sorta) go from lambda calculus up through all the sugar of a nice Lisp. or start with types and evolve dependent types and get all the way to ZFC and theorem proving. there's ways of reasoning about imperative code mathematically too, though I know less about them. OOP itself is more of a style, imo. you can boil it down into the things above if you want to think of it as such. I'm just not sure there's much there mathematically.