मुझे ऑब्जेक्ट ओरिएंटेड प्रोग्रामिंग से, डिपेंडेंट टाइप थ्योरी में, मॉडलिंग ऑब्जेक्ट्स में दिलचस्पी है। एक संभावित आवेदन के रूप में, मैं एक मॉडल रखना चाहूंगा जहां मैं अनिवार्य प्रोग्रामिंग भाषाओं की विभिन्न विशेषताओं का वर्णन कर सकता हूं।
मैं आश्रित प्रकार के सिद्धांत में मॉडलिंग ऑब्जेक्ट्स पर केवल एक पेपर पा सकता था, जो है:
ए। सेज़र (2006) द्वारा आश्रित प्रकार के सिद्धांत में ऑब्जेक्ट-ओरिएंटेड प्रोग्रामिंग।
क्या इस विषय पर और संदर्भ हैं जो मैंने याद किए और शायद हाल ही में कुछ और हैं?
क्या कोई प्रमेय (यानी प्रमाण) प्रमेय के लिए उपलब्ध है, जैसे कोक या एजडा?