Der übertypisierte Lambda-Kalkül. - Raulefs, Peter (Univ., Fak.f.Informatik, 1975)