Standard models of the overtyped lambda-calculus - Raulefs, Peter 1945- (1975)