Daten als Funktionen

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

dann gilt siD1,…, Dk〉→β*Di

Anwendungen:



Johannes Waldmann 2011-01-23