Footnotes

 

(1)

What I call here a meta-interpreter is also known as a meta-circular interpreter. This latter term is more descriptive, and probably more commonly used, but it is also longer. Since not ambiguity results in these lecture notes, I decided to save myself some writing.  

(2)

Swokowski, Calculus with analytic geometry. Alternate edition. PWS Publishers. 1983.