Title: Typed Lambda Calculi and Applications