Der Lambda-Kalkül

(Alonzo Church, 1936) Syntax:

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



Johannes Waldmann 2012-01-30