functional programming, type theory and lambda calculus

• Type theory:
• 1910 - 1913 - ramified theory of types - to Principia Mathematica - Whitehead, Alfred North and Bertrand Russell

• 1925 - The foundations of mathematics. Proceedings of the London Mathematical Society (Journal) - Frank P Ramsey

• Lambda calculus:
• 1940 - A formulation of the simple theory of types, to Journal of Symbolic Logic - Alonzo Church
• 1941 - The Calculi of Lambda Conversion - Alonzo Church

• FP:
• Derived from Alonzo Church's work
• Based on functions, and application of functions
• Does not require "values" to perform computations
• Easily provable characteristics
• Higher Order Perl, MJD. hop.plover.com