I also think this article is lacking. Something also about domain[1] theory and categorical models could be discussed. Particular the latter as they relate to a

I also think this article is lacking. Something also about domain[1] theory and categorical models could be discussed. Particular the latter as they relate to abstract machines, .eg. Curien's thesis work on combinators and functional programming. I'm not saying one can explore these in depth, but at least throw them out there for further reading to help provide a roadmap for the "meatier" side. One could also cite a few programming constructs, .eg. (let (... and show how lisp is essentially syntactically sugared lambda calculus. I should also add Carl Gunter's excellent "Semantics of Programming Languages: Structures and Techniques", as a good intro to this area. [1] http://en.wikipedia.org/wiki/Domain_theory http://en.wikipedia.org/wiki/Domain_theory)