While the semantics of Pure Lisp is well understood, the same cannot be said for the Lisp that people actually use, due to the presence of so-called destructive operations in programs. This study succeeds in defining some important equivalence relations in Lisp programs within an original model theoretic framework.
