Robert Harper has a great introductory(1) book on the matter You should have a reasonably complete treatment of what you are looking for by the time you reach

Robert Harper has a great introductory(1) book on the matter You should have a reasonably complete treatment of what you are looking for by the time you reach the chapter on PCF. http://www.amazon.com/Practical-Foundations-Programming-Languages-Professor/dp/1107029570/ref=sr_1_1?s=books&ie=UTF8&qid=1426799460&sr=1-1&keywords=robert+harper http://www.amazon.com/Practical-Foundations-Programming-Lang... 1: I call it "introductory" because many of the relevant proofs are left as an exercise to the reader. But truthfully, people I've spoken to with a direct influence on the book have mentioned many a time that harper excludes them because he expects you to know them or be able to figure them...