इस वाक्य का एक अधिक जटिल संस्करण उत्पन्न करें अंततः, हम लैम्ब्डा कैलकुलस में कार्यों की एक श्रृंखला के साथ समाप्त होते हैं.
बेशक, वाक्य का एक अधिक जटिल संस्करण है "आखिरकार, हम कार्यों की एक श्रृंखला के साथ समाप्त होते हैं जैसे कि लैम्ब्डा कैलकुलस में, जहां प्रत्येक फ़ंक्शन केवल एक तर्क लेता है, और बहु-तर्क फ़ंक्शन आमतौर पर करीकृत रूप में दर्शाए जाते हैं। "