I've been diving deeper in the theory surrounding ...

# random

[gabrielfv]

I've been diving deeper in the theory surrounding programming languages and software engineering principles, and I'm seeing a lot of modern mathematics everywhere. Does anyone know any resource so I can develop some background in order to grasp papers like the one from Liskov where she introduces the substitution principle?