This is by fellow who wrote the awesome book Concepts, Techniques, and Models of Computer Programming. It'll probably teach different models of computation via

This is by fellow who wrote the awesome book Concepts, Techniques, and Models of Computer Programming. It'll probably teach different models of computation via the Oz programming language, but I doubt it will go into the kind of theory you'd find in Types and Programming Languages. http://www.amazon.com/Concepts-Techniques-Models-Computer-Programming/dp/0262220695/ http://www.amazon.com/Concepts-Techniques-Models-Computer-Pr...