Title: Normalisation in lambda calculus and its relation to type inference