Exponentiale T = AB = BA
Funktionen (andere Realisierungen: Arrays, Hashtabellen, Listen, Strings)
Konstruktion je nach Realisierung, Zugriff: Funktionsanwendung
Typ-Regel: wenn f : : AB und x : : A, dann f (x) : : B
Bemerkung: ((AB) A)B ist allgemeingültige aussagenlogische Formel. Übereinstimmung ist kein Zufall!