يعرض 1 - 3 نتائج من 3 نتيجة بحث عن '"Barbanera, Franco"', وقت الاستعلام: 1.14s تنقيح النتائج
  1. 1
    دورية أكاديمية
    Proof-irrelevance out of excluded-middle and choice in the calculus of constructions.

    المؤلفون: Barbanera, Franco, Berardi, Stefano

    المصدر: Journal of Functional Programming; May1996, Vol. 6 Issue 3, p519-526, 8p


    أضف إلى المفضلة
  2. 2
    دورية أكاديمية
    Modularity of strong normalization in the algebraic-»-cube.

    المؤلفون: BARBANERA, FRANCO, FERNÁNDEZ, MARIBEL, GEUVERS, HERMAN

    المصدر: Journal of Functional Programming; 11/01/1997, Vol. 7 Issue 6, p613-660, 48p


    أضف إلى المفضلة
  3. 3
    دورية
    Modularity of strong normalization in the algebraic-λ-cube

    المؤلفون: BARBANERA, FRANCO, FERNÁNDEZ, MARIBEL, GEUVERS, HERMAN

    المصدر: Journal of Functional Programming; November 1997, Vol. 7 Issue: 6 p613-660, 48p


    أضف إلى المفضلة
أدوات البحث: أحصل على تغذية RSS — أرسل هذا البحث بالبريد الإلكتروني — حفظ البحث