calculus with overloading and early binding". In Bezem, Marc; Groote, Jan Friso (eds.). Typed Lambda Calculi and Applications. Lecture Notes in Computer...