Filtrer vos résultats
- 21
- 8
- 15
- 7
- 3
- 1
- 1
- 1
- 1
- 29
- 8
- 2
- 5
- 2
- 1
- 3
- 1
- 4
- 1
- 1
- 2
- 1
- 4
- 1
- 1
- 24
- 5
- 12
- 9
- 8
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 9
- 7
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
triés par
|
|
Towards an axiomatization of the theory of higher categoriesK-Theory, 2005, 34, pp.233-263
Article dans une revue
hal-00022951v1
|
||
|
Homotopical algebraic geometry. II. Geometric stacks and applications.Memoirs of the American Mathematical Society, 2008, 193 (902), x+224pp
Article dans une revue
hal-00772955v1
|
||
|
Homotopical algebraic geometry. I. Topos theory.Advances in Mathematics, 2005, 193 (2), pp.257-372. ⟨10.1016/j.aim.2004.05.004⟩
Article dans une revue
hal-00772995v1
|
||
|
Multitensor lifting and strictly unital higher category theoryTheory and Applications of Categories, 2013, 28 (25), pp.804-856
Article dans une revue
hal-00606274v2
|
||
|
Coinductive Proof Search for Polarized Logic with Applications to Full Intuitionistic Propositional LogicUgo de'Liguoro; Stefano Berardi; Thorsten Altenkirch. LIPIcs : 26th International Conference on Types for Proofs and Programs (TYPES 2020), 188, Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl Publishing, Germany, 2021, LIPIcs : Leibniz International Proceedings in Informatics ; ISSN : 1868-8969, 978-3-95977-182-5. ⟨10.4230/LIPIcs.TYPES.2020.4⟩
Chapitre d'ouvrage
hal-03255968v1
|
||
|
Affine stacks (Champs affines)2003
Pré-publication, Document de travail
hal-00022947v1
|
||
Homotopy Type Theory: Univalent Foundations of MathematicsAucun, pp.448, 2013
Ouvrages
hal-00935057v1
|
|||
|
A new model of dg-categoriesCategory Theory [math.CT]. Institut de Mathématiques de Toulouse & Institut Universitaire de France, UMR 5219, Université de Toulouse, CNRS, UPS IMT, 2022. English. ⟨NNT : ⟩
Thèse
tel-03966749v1
|
||
|
Relating stated skein algebras and internal skein algebrasSymmetry, Integrability and Geometry : Methods and Applications, 2022, 18 (42), ⟨https://doi.org/10.3842/SIGMA.2022.042⟩
Article dans une revue
hal-04083079v1
|
||
|
Homotopy theory of curved operads and curved algebras2020
Pré-publication, Document de travail
hal-02891526v3
|
||
|
Heterogeneous Substitution Systems RevisitedTarmo Uustalu. 21st International Conference on Types for Proofs and Programs (TYPES 2015), 69, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, pp.2:1-2:23, 2018, Leibniz International Proceedings in Informatics (LIPIcs), 978-3-95977-030-9. ⟨10.4230/LIPIcs.TYPES.2015.2⟩
Chapitre d'ouvrage
hal-02360681v1
|
||
|
Lax monoidal adjunctions, two-variable fibrations and the calculus of mates2022
Pré-publication, Document de travail
hal-03692099v1
|
||
|
Implementing a Category-Theoretic Framework for Typed Abstract Syntax11th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP 2022), Jan 2022, Philadelphia, PA, United States. ⟨10.1145/3497775.3503678⟩
Communication dans un congrès
hal-03475481v1
|
||
|
A remark on K -theory and S -categories.Topology, 2004, 43 (4), pp.765-791. ⟨10.1016/j.top.2003.10.008⟩
Article dans une revue
hal-00773020v1
|
||
|
Dendroidal sets and simplicial operadsJournal of topology, 2013, 6 (3), pp.705-756. ⟨10.1112/jtopol/jtt006⟩
Article dans une revue
hal-00619248v1
|
||
|
Univalent Monoidal CategoriesLeibniz International Proceedings in Informatics , 269, Schloss Dagstuhl - Leibniz Center for Informatics, pp.15:1-15:21, 2023, 28th International Conference on Types for Proofs and Programs (TYPES 2022), 978-3-95977-285-3. ⟨10.4230/LIPIcs.TYPES.2022.15⟩
Proceedings/Recueil des communications
hal-03889672v1
|
||
|
MODULE DES DIFFÉRENTIELLES2023
Pré-publication, Document de travail
hal-04063416v1
|
||
|
Martin Hofmann's Case for Non-Strictly Positive Data TypesPeter Dybjer; José Espírito Santo; Luís Pinto. 24th International Conference on Types for Proofs and Programs (TYPES 2018), 130, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, pp.1:1-1:22, 2019, Leibniz International Proceedings in Informatics (LIPIcs), 978-3-95977-106-1. ⟨10.4230/LIPIcs.TYPES.2018.1⟩
Chapitre d'ouvrage
hal-02365814v1
|
||
|
Vers une axiomatisation de la théorie des catégories supérieures.K-Theory, 2005, 34 (3), pp.233-263. ⟨10.1007/s10977-005-4556-6⟩
Article dans une revue
hal-00772983v1
|
||
|
Two-variable fibrations, factorisation systems and $\infty$-categories of spans2022
Pré-publication, Document de travail
hal-03692095v1
|
||
|
On the structure of dg-categories of relative singularities2019
Pré-publication, Document de travail
hal-02346113v1
|
||
|
Inhabitation in simply typed lambda-calculus through a lambda-calculus for proof searchMathematical Structures in Computer Science, 2019, 29 (8), pp.1092-1124. ⟨10.1017/S0960129518000099⟩
Article dans une revue
hal-02360678v1
|
||
|
Dendroidal Segal spaces and infinity-operadsJournal of topology, 2013, 6 (3), pp.675-704. ⟨10.1112/jtopol/jtt004⟩
Article dans une revue
hal-00529714v1
|
||
Propriétés universelles et extensions de Kan dérivéesTheory and Applications of Categories, 2008, 20 (17), pp.605-649
Article dans une revue
hal-00440928v1
|
|||
|
Catégories dérivablesBulletin de la société mathématique de France, 2010, 138 (3), pp.317-393
Article dans une revue
hal-00440930v2
|
||
|
The homotopy theory of dg -categories and derived Morita theory.Inventiones Mathematicae, 2007, 167 (3), pp.615-667. ⟨10.1007/s00222-006-0025-y⟩
Article dans une revue
hal-00772962v1
|
||
|
A Coinductive Approach to Proof Search through Typed Lambda-CalculiAnnals of Pure and Applied Logic, 2021, 172 (10), ⟨10.1016/j.apal.2021.103026⟩
Article dans une revue
hal-03086504v1
|
||
|
Au-dessous de SpecZ .Journal of K-theory: K-theory and its Applications to Algebra, Geometry, and Topology, 2009, 3 (03), pp.437-500. ⟨10.1017/is008004027jkt048⟩
Article dans une revue
hal-00772923v1
|
||
|
Derived Hall Algebras2005
Pré-publication, Document de travail
hal-00022952v1
|