Daten als Funktionen

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

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

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

Anwendungen:

• Auflösung simultaner Rekursion
• Modellierung von Zahlen