Beispiele

• in verschiedenen Prog.-Sprachen gibt es verschiedene Formen von Unterprogrammen:

  Prozedur, sog. Funktion, Methode, Operator, Delegate, anonymes Unterprogramm

• allgemeinstes Modell: Kalkül der anonymen Funktionen (Lambda-Kalkül), Syntax besteht aus:
  • Variablen x, y,...
  • Applikationen xx, (λx.xx)y
  • Abstraktionen λx.xx, λx.(λy.x)