A Lambda Calculus of Objects and Method Specialization