कई पाठ्यपुस्तकें लैम्बडा-कैलकुलस में प्रतिच्छेदन प्रकारों को कवर करती हैं। चौराहे के लिए टाइपिंग नियमों को निम्नानुसार परिभाषित किया जा सकता है (बस टाइपिंग के साथ टाइप किए गए लंबो-पथरी के शीर्ष पर):
सामान्यीकरण के संबंध में अंतःक्रियात्मक प्रकार के दिलचस्प गुण हैं:
- एक लैम्ब्डा-टर्म को नियम का उपयोग किए बिना टाइप किया जा सकता है यदि यह दृढ़ता से सामान्य कर रहा है।
- एक लैम्ब्डा-शब्द एक प्रकार को स्वीकार करता है जिसमें iff नहीं होता है, यह एक सामान्य रूप है।
क्या होगा अगर चौराहों को जोड़ने के बजाय, हम यूनियनों को जोड़ते हैं?
क्या लैम्ब्डा-कैलकुलस सरल प्रकार, उपप्रकार और यूनियनों के साथ कोई दिलचस्प समान संपत्ति है? संघ के साथ टाइप किए जाने वाले शब्दों की विशेषता कैसे हो सकती है?