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

by J R Hindley