Affine string-to-string Funktionen, die durch den planaren affinen λ-Kalkül λ℘ definierbar sind, stimmen genau mit Funktionen der ersten Ordnung überein.
