Qual è il nome dell'operatore che si traduce da $ x destrorrow (y destrorw z) $ a $ y destrorrow (x destrorrow z) $?
-
05-11-2019 - |
Domanda
C'è un nome standard per l'operatore che prende una funzione $ f: x destrorrow (y destrorrow z) $ e restituisce la funzione $ f ': y destrorrow (x destrorrow z) $ Questo soddisfa, per ogni $ y in y $ e $ x in x $, $ f '(y) (x) = f (x) (y) $?
Nessuna soluzione corretta
Autorizzato sotto: CC-BY-SA insieme a attribuzione
Non affiliato a cs.stackexchange