"Basic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science, Volume 42)" - читать интересную книгу автора (J. Roger Hindley)