Definierbare Funktionen imλ-Kalkül mit Typen