Item request has been placed!

Item request cannot be made.

Processing Request

نتائج البحث

Display Settings

النتائج لكل صفحة: 10

Sort By: Relevance

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

Content Provider : BASE Subject : cs.lo فلترة بواسطة : مؤلف

إعادة تعيين خيارات الفبترة

Item request has been placed!

Item request cannot be made.

Processing Request

Academic Journal

Guarded Cubical Type Theory:Path Equality for Guarded Recursion

Authors : Birkedal, Lars; Bizjak, Aleš; Clouston, Ranald ...

Subjects: cs.LO; cs.PL; F.3.3

Source: Birkedal , L , Bizjak , A , Clouston , R , Grathwohl , H B , Spitters , B & Vezzosi , A 2016 , Guarded Cubical Type Theory : Path Equality for Guarded Recursion . in J-M

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

اقرأ أكثر حفظ في قائمتي