Item request has been placed!

Item request cannot be made.

Processing Request

نتائج البحث

Display Settings

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

Sort By: Relevance

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

Format : Electronic Resources

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

Item request has been placed!

Item request cannot be made.

Processing Request

Electronic Resource

Monoidal bicategories, differential linear logic, and analytic functors

Authors : Fiore, M.; Gambino, N.; Hyland, M.

Subjects: Mathematics - Category Theory; Computer Science - Logic in Computer Science; Mathematics - Logic

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

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

Electronic Resource

Graded Differential Categories and Graded Differential Linear Logic

Authors : Lemay, Jean-Simon Pacaud; Vienney, Jean-Baptiste

Subjects: Computer Science - Logic in Computer Science; Mathematics - Category Theory; 18F40, 18M45, 16W50

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

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

Electronic Resource

Cartesian Differential Kleisli Categories

Authors : Lemay, Jean-Simon Pacaud

Subjects: Mathematics - Category Theory; Computer Science - Programming Languages; 18F40, 18C20

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

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

Electronic Resource

Linearizing Combinators

Authors : Cockett, Robin; Lemay, Jean-Simon Pacaud

Subjects: Mathematics - Category Theory; Computer Science - Logic in Computer Science; 18F40, 18F50

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

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