Semantik des Lambda-Kalküls

Relation β auf Λ (ein Reduktionsschritt)

Es gilt tβt', falls

Ein (Teil-)Ausdruck der Form (λx.B)A heißt Redex.
    (Dort kann weitergerechnet werden.)

Ein Term ohne Redex heißt Normalform.
    (Normalformen sind Resultate von Rechnungen.)



Johannes Waldmann 2014-07-10