Exportation (Currying)

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Die logische Äquivalenz, die eine Implikation mit konjunktivem Antezedens in eine geschachtelte Implikation überführt: (A ∧ B) → C ist äquivalent zu A → (B → C). In typentheoretischen und rechnerischen Deutungen entspricht dies dem Currying, der Isomorphie zwischen Funktionen zweier Argumente und gekurvten Funktionen.