Lambda-Kalkül
- ist eine formale Sprache zur Untersuchung von Funktionen
- Sie beschreibt Funktionsdefinitionen, das Definieren formaler Parameter sowie das Auswerten und Einsetzen aktueller Parameter.
- http://de.wikipedia.org/wiki/Lambda-Kalk%C3%BCl Lambda-Kalkül
»
