Source: FPSAC 2018 - 30th International Conference on Formal Power Series and Algebraic Combinatorics ; https://hal.science/hal-01858098 ; FPSAC 2018 - 30th International

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

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

Conference

Categorical Coherence from Term Rewriting Systems

Authors : Mimram, Samuel;

Subjects: rewriting system; Lawvere theory; coherenceRome; Italy

Source: Leibniz International Proceedings in Informatics (LIPIcs) ; 8th International Conference on Formal Structures for Computation and Deduction (FSCD 2023) ;

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

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

Conference

Packaging Mathematical Structures

Authors : Garillot, François; Gonthier, Georges; Mahboubi, Assia ...

Subjects: Formalization of Algebra; Coercive subtyping; Type inferenceMunich; Germany

Source: Theorem Proving in Higher Order Logics ; https://inria.hal.science/inria-00368403 ; Theorem Proving in Higher Order Logics, 2009, Munich, Germany

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

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

Dissertation/ Thesis

Computational descriptions of higher categories ; Descriptions calculatoires de catégories supérieures

Authors : Forest, Simon;

Subjects: Higher categories; Strict categories; Gray categories

Source: https://theses.hal.science/tel-03155192 ; Category Theory [math.CT]. Institut Polytechnique de Paris, 2021. English. ⟨NNT : 2021IPPAX003⟩.

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

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

Report

On the metric structure of section ring

Authors : Finski, Siarhei;

Subjects: MSC: 53C55; 32D15; 14F99

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

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

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

Academic Journal

Type theoretical approaches to opetopes

Authors : Ho Thanh, Cédric; Curien, Pierre-Louis; Mimram, Samuel ...

Subjects: Opetope; Opetopic set; Type theory

Source: ISSN: 2209-0606 ; Higher Structures ; https://hal.science/hal-04244406 ; Higher Structures, 2022, 6 (1), pp.80 - 181.

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

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

Conference

A Sequent Calculus for Opetopes

Authors : Ho Thanh, Cédric; Curien, Pierre-Louis; Mimram, Samuel ...

Subjects: Opetope; Polynomial functor; Type theoryVancouverVancouver, Canada

Source: LICS 2019 - Logic in computer science 2019 ; https://hal.science/hal-02406569 ; LICS 2019 - Logic in computer science 2019, Jun 2019, Vancouver, Canada ; https://lics.siglog.org/lics19/

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

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

Conference

Symbolic Methods in Computational Cryptography Proofs

Authors : Barthe, Gilles; Grégoire, Benjamin; Jacomme, Charlie ...

Subjects: [INFO]Computer Science [cs]Hoboken; United States

Source: CSF2019 - 32nd IEEE Computer Security Foundations Symposium ; https://hal.science/hal-02404701 ; CSF2019 - 32nd IEEE Computer Security Foundations Symposium, Jun 2019, Hoboken, United States.

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

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

Conference

Polytopal realizations and Hopf algebra structures for lattice quotients of the weak order

Authors : Pilaud, Vincent;

Subjects: weak order; lattice quotient; arc diagramsLjubljana; Slovenia

Source: FPSAC 2019 - 31th International Conference on Formal Power Series and Algebraic Combinatorics ; https://hal.science/hal-02345112 ; FPSAC 2019 - 31th International

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

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