1
टाइप्ड लैंबडा कैलकुलस और लिस्प के बीच ऐतिहासिक संबंध?
मैं हाल ही में एक मित्र के साथ चर्चा कर रहा था (जो दृढ़ता से टाइप की जाने वाली भाषाओं का एक वकील है)। उन्होंने टिप्पणी की: लैंबडा कैलकुलस के अन्वेषकों ने हमेशा इसे टाइप करने का इरादा किया। अब हम देख सकते हैं कि चर्च के साथ जुड़े थे …