लैम्ब्डा कैलकुलस (Lambda Calculus) और फंक्शनल प्रोग्रामिंग की उत्पत्ति: अलोंजो चर्च के सिद्धांत से लिस्प (Lisp), हास्केल (Haskell) तक
