title: Is there a mathematical definition of Python's syntax and semantics
body: <p>I've been looking for a mathematical definition of Python. Like there is for e.g. relational algebra from IBM. In some scripts of my uni courses, I find something similar but its more of an example language usually to explain some concepts. I would love to find something similar for Python.</p>