Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

نتائج البحث

Display Settings
النتائج لكل صفحة: 10
Sort By: Relevance
Filter
  • 1-1 ل  1 نتائج ل ""Peru""

فلترة النتائج

Collection : Universite De Toulon Geographic : ayacucho (peru) Geographic : peru فلترة بواسطة : موضوع
إعادة تعيين خيارات الفبترة
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Conference

Strong Call-by-Value and Multi Types

Subjects: lambda calculus; multi types; call-by-valueLima; Peru

  • Source: ICTAC 2023 - 20th International Colloquium on Theoretical Aspects of Computing ; https://hal.science/hal-04395549 ; ICTAC 2023 - 20th International Colloquium on Theoretical Aspects of Computing, Dec

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
  • 1-1 ل  1 نتائج ل ""Peru""