Basic simple type theory - Hindley, J. Roger, 1939- (Cambridge tracts in theoretical computer science ;, 1997)