Potenzen (Exponentiale)

Exponentiale T = A$\to$B = B^A

Funktionen (andere Realisierungen: Arrays, Hashtabellen, Listen, Strings)

Konstruktion je nach Realisierung, Zugriff: Funktionsanwendung

Typ-Regel: wenn f : : A$\to$B und x : : A, dann f (x) : : B

Bemerkung: ((A$\to$B) $\wedge$ A)$\to$B ist allgemeingültige aussagenlogische Formel. Übereinstimmung ist kein Zufall!