Item request has been placed!

Item request cannot be made.

Processing Request

نتائج البحث

Display Settings

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

Sort By: Relevance

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

Collection : Aarhus University

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

Item request has been placed!

Item request cannot be made.

Processing Request

Academic Journal

Idempotent Completions of n-Exangulated Categories

Authors : Klapproth, Carlo; Msapato, Dixy; Shah, Amit

Subjects: 18G15; Additive category; Idempotent completion

Source: Klapproth , C , Msapato , D & Shah , A 2024 , ' Idempotent Completions of n-Exangulated Categories ' , Applied Categorical Structures , vol. 32 , no. 1 , 7 . https://doi.org/10.1007/s10485-023-09758-5

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

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

Academic Journal

Fitch-Style Modal Lambda Calculi

Authors : Clouston, Ranald;

Subjects: Categorical semantics; Intuitionistic modal logic; Typed lambda calculi

Source: Clouston , R 2018 , Fitch-Style Modal Lambda Calculi . in C Baier & U Dal Lago (eds) , Foundations of Software Science and Computation Structures - 21st International Conference, FOSSACS 2018, Held as

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

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