John N. Shutt, PhD

Quantum mechanics and hygienic macros? How does he do it? Is he the preeminent language theorist of our time? Was he chosen by right-hand of The Great Programmer?

https://fexpr.blogspot.com/2014/04/why-is-beta-substitution-like-higgs.html
https://fexpr.blogspot.com/2015/06/thinking-outside-quantum-box.html#sec-qt-hyg
https://fexpr.blogspot.com/2016/06/the-co-hygiene-principle.html
https://fexpr.blogspot.com/2017/06/co-hygiene-and-quantum-gravity.html

Fortunately C preprocessor doesn't suffer from any such hygienic limitations and can fully represent quantum non-locality, side effects and global state mutation. Lisp:0 C:+1

At best it's a ``theory of some kinds of Lisp-like languages''. The only Theory of Everything in computer science is automata theory.