Basic simple type theory (1997)

by J Roger Hindley