Der Lambda-Kalkül

(Alonzo Church, 1936) Syntax:

Begriffe: freie Variablen (FV), gebundene Variablen (BV), gebundene Umbenennung

Semantik: Ersetzung von Teiltermen:



Johannes Waldmann 2011-01-23