Systematische Übersetzung

Spezifikation: benutzt [λx.A] = liftx(A) mit Spezifikation: liftx(A)x*A

Beispiele: λx.xx, λxy.y, λxy.yx -- Vereinfachungen?



Johannes Waldmann 2012-01-30