इस वाक्य का एक अधिक जटिल संस्करण उत्पन्न करें पारंपरिक रूप से, टाइप किए गए लैम्ब्डा कैलकुलस को अनटाइप किए गए लैम्ब्डा कैलकुलस के परिष्करण के रूप में देखा जाता था.
बेशक, वाक्य का एक अधिक जटिल संस्करण है "परंपरागत रूप से, टाइप किए गए लैम्ब्डा कैलकुलस को अनटाइप किए गए लैम्ब्डा कैलकुलस के परिष्कृत के रूप में देखा जाता था; वैकल्पिक रूप से अनटाइप किए गए लैम्ब्डा कैलकुलस को केवल एक प्रकार के साथ टाइप किए गए लैम्ब्डा कैलकुलस के एक विशेष मामले के रूप में माना जा सकता है। "