Simulation in the Call-by-Need Lambda-Calculus with Letrec, Case, Constructors, and Seq

نشر في David Sabel بتاريخ 2015 في مجال الهندسة المعلوماتية والبحث باللغة English تحميل البحث

This paper shows equivalence of sever