Reddit reviews Basic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science)
We found 1 Reddit comments about Basic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science). Here are the top ones, ranked by their Reddit score.
In the same boat. Roger Hindley (of Hindley-Milner fame) wrote a small book [0] that covers principal type inference (I.e. the HM inference algorithm) for the lambda calculus, some simple (Church-style) typing, and Curry-Howard. Girard also has a book 1. He discovered (in parallel to Reynolds) System F.
Each chapter ends with some historical notes and points to some other papers.
[0]: https://www.amazon.com/Simple-Cambridge-Theoretical-Computer-Science/dp/0521054222