کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
421720 684943 2014 16 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Canonicity of Weak ω-groupoid Laws Using Parametricity Theory
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
Canonicity of Weak ω-groupoid Laws Using Parametricity Theory
چکیده انگلیسی

We show that terms witnessing a groupoid law from the ω-groupoid structure of types are all propositionally equal. Our proof reduce this problem to the unicity of the canonical point in the n-th loop space and conclude using Bernardy's parametricity theory for dependent types.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Electronic Notes in Theoretical Computer Science - Volume 308, 29 October 2014, Pages 229-244