Basic Simple Type Theory. Cambridge Tracts in Theoretical Computer Science 42 (1997)

by J R Hindley