[elf_m_sternberg]

Interesting, but woefully incomplete since it doesn't include a single turnstile-based statement. I'm still looking for the cheat sheet that includes an explanation for how to read and comprehend anything written by Simon Peyton-Jones.

[noblethrasher]

http://siek.blogspot.com/2012/07/crash-course-on-notation-in...

[soganess]

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-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...