Repository meiner Facharbeit mit dem Titel "Untypisierter Lambda-Kalkül und ein Programm zum Ermitteln einer optimalen Normalform"