Exportation (Currying)

Équivalence logique qui transforme une condition dont l'antécédent est une conjonction en une condition imbriquée : (A ∧ B) → C est équivalent à A → (B → C). Dans les interprétations typées et computationnelles, cela correspond au currying, l'isomorphisme entre fonctions de deux arguments et fonctions curryfiées.