आप इस तरह के Y Combinator या ओमेगा Combinator के रूप में untyped लैम्ब्डा-पथरी में पुनरावर्ती combinators, को देखें, तो:
इसके अलावा, इन सभी कॉम्बिनेटरों को बस टाइप किए गए लंबो कैलकुलस में टाइप किया जा सकता है, अगर आप इसे रिकर्सिव टाइप μ α के साथ बढ़ाते हैं । , जहां को पुनरावर्ती प्रकार में नकारात्मक रूप से होने की अनुमति है।
हालाँकि, यदि आप पूर्ण (ऋणात्मक-घटना) पुनरावर्ती प्रकारों को रैखिक तर्क के विखंडन-मुक्त टुकड़े (यानी, MALL) से जोड़ते हैं, तो क्या होता है?
क्या यह मामला है कि MALL प्लस अप्रतिबंधित पुनरावर्ती प्रकार अभी भी सामान्य है M