Lógica combinatoria - Curry, Haskell B; Feys, Robert (Estructura y Función, 1967)