Curry–Howard correspondence, isomorphism between
Haskell Curry - William Alvin Howard.
Curry a multiargument function.
non breakable space spazio non interrompibile
Non-breaking Hyphen, trattino di non interruzione ‑