|
|
|
|
|
|
by soganess
4116 days ago
|
|
|
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... |
|
|