What is the mathematical model of a Python's class?
<p>I understand that the classical model from the lambda-papers is not valid for Python.</p>

<p>And the closures are not the mathematical model of the implementation of the Python system.</p>

<p>So which model is it?</p>
