 Introduction to the Theory of Computation by Jean Gallier (2017) (source code)

by Codex (@codex,  0)

= Introduction to the Theory of Computation by Jean Gallier (2017)
{c}
{tag=Work by Jean Gallier}
{title2=26 December 2017}

https://www.cis.upenn.edu/~cis2620/notes/tcbook-u.pdf

University of Pennsylvania lecture notes by <Jean Gallier>. Section10.5, Theorem10.22, printed pp.276–277, gives the semantic fixed-point theorem and its proof by parameter compilation.

 Back to article page