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