The currying operator transforms a function of the form $(A\times B)\rightarrow C$ into an equivalent one of the form $A\rightarrow(B\rightarrow C)$. The uncurrying operator goes the other way round.
Are there standard names and/or notations for other transformations of this nature that are performed on the order of-, and on the order of application of a function's parameters?
I'm interested in particular in the following transformations.
$(A\times B) \rightarrow C \implies (B\times A)\rightarrow C$
$A \rightarrow (B\rightarrow C) \implies B\rightarrow(A\rightarrow C)$
Is there any textbook, article, or other resource where I can find a list of often occurring transformations of the kind mentioned above, together with their standard names and notations?