लैम्ब्डा कलन

अलोंज़ो चर्च ने लैम्ब्डा कलन प्रस्तुत किया, जो फलनों की परिभाषा और उनके अनुप्रयोग का एक औपचारिक तंत्र है। लैम्ब्डा कलन को फलनात्मक प्रोग्रामिंग की सैद्धांतिक नींव माना जाता है। 1936 का मूल लैम्ब्डा कलन अ-प्ररूपित था; चर्च ने 1940 में सरल प्ररूप जोड़े (“A Formulation of the Simple Theory of Types”), और इस तरह आरम्भिकतम स्पष्ट-प्ररूपित तंत्रों में से एक बना।

अलोंज़ो चर्च (1903–1995)

स्थिति

सत्यापित

सामग्री का प्रकार

fact

अंतिम समीक्षा

2026-07-16