Is there a theory/abstraction behind OOP?

Question

Functional programming has the very elegant Lambda Calculus and its variants as a backup theory. Is there such a thing for OOP? What is an abstraction for the object oriented model?

Answer 1

There is a thorough and and complete answer in the following link for the second answer:

https://cs.stackexchange.com/questions/18963/is-there-a-theory-abstraction-behind-oop

and three papers and documents the author links to the answer.

In summary, OOP emerged from the concepts mainly in set theory as well as object model design. The latter introduced the concept of inheritance within the building blocks of a system which took place by instance types and became first fundamental block for OOP. Later abstraction, Encapsulation and Polymorphism ideas completed the above concept and hence OOP was born and its ideas were used widely in Software Engineering world.