Title: Ein hoare kalkül für die sprache der Getypen Lambda-Terme korrektheit, Vollständigkeit, anwendungen