将以下表达式转换为简单的λ微积分

Question

在lambda演算中，以下术语的类型是否正确？

a（a b）c

我很熟悉lambda演算的语法，但不确定如何解决这个问题。