Basic simple type theory /
Hindley, J. Roger.
Cambridge : Cambridge University Press,
1997.