Der Lambda-Kalkül

...als weiteres Berechnungsmodell,

(vgl. Termersetzungssysteme, Turingmaschine, Random-Access-Maschine)

Syntax: die Menge der Lambda-Terme Λ ist

Semantik: eine Relation β auf Λ

(vgl. R für Termersetzungssystem R)



Johannes Waldmann 2014-07-10