Daten als Funktionen

Simulation von Daten (Tupel)
durch Funktionen (Lambda-Ausdrücke):

• Konstruktor: 〈D₁,…, D_k〉⇒λs.sD₁…D_k
• Selektoren: s_i⇒λt.t(λd₁…d_k.d_i)

dann gilt s_i〈D₁,…, D_k〉→_β^*D_i

Anwendungen:

• Auflösung simultaner Rekursion
• Modellierung von Zahlen