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