E-Mail-Eintrag: Typed Lambda Calculi and Applications