نظرية النوع الهوموتوبية كلغة لرسوم -لوغوسات

Key Points

• الهدف هو إظهار كيف يمكن لنظرية النوع الهوموتوبية أن تصف بفعالية رسوم اللوجوسات اللانهائية وتحسّن التفكير المنطقي.
• تم استخدام نظرية النوع الهوموتوبية الممتدة مع تكنولوجيا اللكس وأنماط الوصول.
• تم تحليل رسوم اللوجوسات اللانهائية ضمن هذا الإطار النظري.
• توضح الدراسة صلةً بقابلية الحساب التركيبية لستيرلينغ.
• تنجح نظرية النوع الهوموتوبية في إعادة بناء بعض رسوم اللوجوسات اللانهائية.
• يتم إنشاء نسخة بُعدية أعلى من العلاقات المنطقية من خلال هذا الإطار.

Abstract