https://9dok.net/document/qmj5dmg8-ubungen-vorlesung-λ-kalk-ul-kombinatorische-logik.html