Telecharger Cours

Fixpoints of types in linear logic from a Curry-Howard-Lambek ...

let curry f x y = f (x, y). (* val curry : ('a * 'b -> 'c) -> 'a -> 'b -> 'c *). ? Décurryfier : transformer une fonction curryfiée en une fonction ...



Download