PaperMetrixاكتشاف قائم على الأدلة
AR
لغة الواجهة English EN العربية AR Türkçe TR
إنشاء حساب
ملف الباحث

Daniël Leivant

ورقة واحدة في مجموعة PaperMetrix

المنشورات

أوراق هذا المؤلف

  1. Typing and convergence in the lambda calculus

    2018 · Figshare

    Computer Science Department