E-Mail-Eintrag: Typed lambda calculi and applications