Item request has been placed!

Item request cannot be made.

Processing Request

نتائج البحث

Display Settings

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

Sort By: Relevance

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

Collection : Aix-Marseille Universite

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

Item request has been placed!

Item request cannot be made.

Processing Request

Report

The Quantitative Collapse of Concurrent Games with Symmetry

Authors : Clairambault, Pierre; Paquet, Hugo;

Subjects: denotational semantics; concurrent games; relational models

Source: https://hal.science/hal-03280420 ; 2023.

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

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

Report

Lifting star-autonomous structures

Authors : Santocanale, Luigi; de Lacroix, Cédric; Chichery, Gregory ...

Subjects: Grothendieck construction; total category; op-fibration

Source: https://hal.science/hal-04209648 ; 2023.

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

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

Report

The Quantitative Collapse of Concurrent Games with Symmetry

Authors : Clairambault, Pierre; Paquet, Hugo;

Subjects: denotational semantics; concurrent games; relational models

Source: https://hal.science/hal-03280420 ; 2021.

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

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

Report

A Prop Structure on Partitions

Authors : Emprin, Coline; Hunter, Dana; Livernet, Muriel ...

Subjects: partitions; Yoneda product; Karoubi envelope

Source: https://hal.science/hal-04465168 ; 2024.

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

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

Conference

From Thin Concurrent Games to Generalized Species of Structures

Authors : Clairambault, Pierre; Olimpieri, Federico; Paquet, Hugo ...

Subjects: [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]Boston; United StatesBoston, United States

Source: 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)https://hal.science/hal-042446092023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jun 2023,

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

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

Report

Functorial Models of Differential Linear Logic

Authors : Kerjean, Marie; Maestracci, Valentin; Rogers, Morgan ...

Subjects: [INFO]Computer Science [cs]

Source: https://hal.science/hal-04292862 ; 2023.

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

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

Conference

Clinical brain QSM acquisition and automated processing at 3T and 7T for routine use

Authors : de Rochefort, Ludovic; Girard, Olivier, M.; Le Troter, Arnaud ...

Subjects: [SDV]Life Sciences [q-bio]; [PHYS]Physics [physics]SpainBarcelona, Spain

Source: ESMRMB 2017, 34th Annual Scientific Meeting ; https://hal.science/hal-02559487 ; ESMRMB 2017, 34th Annual Scientific Meeting, Oct 2017, Barcelona, Spain. 30 (S1), pp.446, 2017,

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

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

Report

µ-Bicomplete Categories and Parity Games

Authors : Santocanale, Luigi;

Subjects: parity games; induction; coinduction

Source: https://hal.science/hal-01376731 ; [Research Report] RR-1281-02, LaBRI - Laboratoire Bordelais de Recherche en Informatique. 2002.

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

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