Lambda-Kalkül

<== Berechenbarkeit

<== Churchsche These

<== Skopus

<== Programmiersprachen

<=> LISP

==> Inferenzregel

<== Abstraktion