Title: Type assignment in the lambda-calculus