Syntactic Finitism In The Metatheory Of Programming Languages. by Jeffrey Sarnat