جائزة ألونزو تشيرش لعام 2025: توحيد أبحاث حساب لامدا
2025-06-23
حصل بول بلين ليفي على جائزة ألونزو تشيرش لعام 2025 لعمله الرائد في حساب القيمة بالدفع (CBPV). وقد وحد بحثه تيارات البحث المنفصلة في حساب لامدا المنطقي النقي وحساب لامدا المطبق مع التأثيرات. يُعد CBPV إطارًا موحدًا لدراسة الظواهر الحسابية والمنطقية، بما في ذلك التأثيرات، والاستقطاب، وتطبيع المصطلحات، وتماثل الأنواع، وتحويلات البرنامج. وتشمل مساهمات ليفي أنواع البيانات الجبرية، والدلالات التشغيلية، والدلالات المرجعية، والنظريات المعادلة، مما يُحدث تقدمًا كبيرًا في النظرية الدلالية لحساب لامدا وتطبيقه في نمذجة لغات البرمجة.
التطوير
جائزة ألونزو تشيرش