Filter your results
- 25
- 6
- 17
- 6
- 4
- 2
- 1
- 1
- 1
- 31
- 9
- 1
- 2
- 4
- 4
- 4
- 7
- 3
- 1
- 1
- 2
- 1
- 1
- 23
- 8
- 20
- 12
- 11
- 8
- 5
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 15
- 6
- 6
- 3
- 3
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
The next 700 syntactical models of type theoryCertified Programs and Proofs (CPP 2017), Jan 2017, Paris, France. pp.182 - 194, ⟨10.1145/3018610.3018620⟩
Conference papers
hal-01445835v1
|
||
|
Lawvere-Tierney sheafification in Homotopy Type TheoryJournal of Formalized Reasoning, 2016, 9 (2), ⟨10.6092/issn.1972-5787/6232⟩
Journal articles
hal-01451710v1
|
||
|
Effect capabilities for Haskell: Taming effect interference in monadic programmingScience of Computer Programming, 2016, 119, pp.3-30. ⟨10.1016/j.scico.2015.11.010⟩
Journal articles
hal-01400002v1
|
||
|
The Diamond Lemma for non-terminating rewriting systems using deterministic reduction strategiesIWC 2019 - 8th International Workshop on Confluence, Jun 2019, Dortmund, Germany. pp.1-5
Conference papers
hal-02385139v1
|
||
|
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⟩
Book sections
hal-02360681v1
|
||
|
Gradual Certified Programming in Coq11th ACM Dynamic Languages Symposium (DLS 2015), Oct 2015, Pittsburgh, United States. ⟨10.1145/2816707.2816710⟩
Conference papers
hal-01238774v1
|
||
|
Le foncteur V -> $F_2[V]^{\otimes 3}$ entre $F_2$-espaces vectoriels est noethérienAnnales de l'Institut Fourier, 2009, 59 (2), pp.459-490
Journal articles
hal-00132871v4
|
||
|
Cohomologie des foncteurs polynomiaux sur les groupes libresDocumenta Mathematica, 2016, 21, pp.205-222
Journal articles
hal-01059825v1
|
||
|
Model structure on the universe of all types in interval type theoryMathematical Structures in Computer Science, 2020, pp.1-32. ⟨10.1017/S0960129520000213⟩
Journal articles
hal-02966633v1
|
||
|
Méthodes fonctorielles pour l'étude de l'homologie stable des groupesTopologie algébrique [math.AT]. Université de Nantes, Faculté des sciences et des techniques., 2017
Habilitation à diriger des recherches
tel-01449940v1
|
||
|
De l'homologie stable des groupes de congruence2017
Preprints, Working Papers, ...
hal-01565891v2
|
||
|
The Marriage of Univalence and ParametricityJournal of the ACM (JACM), 2021, 68 (1), pp.1-44. ⟨10.1145/3429979⟩
Journal articles
hal-03120580v1
|
||
|
The folk model category structure on strict $\omega$-categories is monoidalTheory and Applications of Categories, 2020, 35 (21), pp.745-808
Journal articles
hal-02386617v1
|
||
|
Equivalences for FreeProceedings of the ACM on Programming Languages, 2018, ICFP'18, 2 (ICFP), pp.1-29. ⟨10.1145/3234615⟩
Journal articles
hal-01559073v6
|
||
|
Sur l'homologie des groupes orthogonaux et symplectiques à coefficients tordusAnnales Scientifiques de l'École Normale Supérieure, 2010, 43 (3), pp.395-459
Journal articles
hal-00315573v4
|
||
|
A type-theoretical definition of weak ω-categoriesLICS 2017 - 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2017, Reykjavik, Iceland. pp.1-12, ⟨10.1109/LICS.2017.8005124⟩
Conference papers
hal-02154846v1
|
||
|
Partial Type Equivalences for Verified Dependent InteroperabilityICFP 2016 - 21st ACM SIGPLAN International Conference on Functional Programming, Sep 2016, Nara, Japan. pp.298-310, ⟨10.1145/2951913.2951933⟩
Conference papers
hal-01328012v1
|
||
|
An explicit formula for the free exponential modality of linear logicMathematical Structures in Computer Science, 2018, 28 (7), pp.1253-1286. ⟨10.1017/S0960129516000426⟩
Journal articles
hal-01992148v1
|
||
|
Chemical foundations of distributed aspectsDistributed Computing, 2019, 32 (3), pp.193-216. ⟨10.1007/s00446-018-0334-6⟩
Journal articles
hal-01811884v1
|
||
|
Aspect Oriented Programming: a language for 2-categories[Research Report] RR-7527, INRIA. 2011, pp.30
Reports
inria-00470400v3
|
||
|
Univalence for free2013
Preprints, Working Papers, ...
hal-00786589v3
|
||
|
Des propriétés de finitude des foncteurs polynomiauxFundamenta Mathematicae, 2016, 233, pp.197-256. ⟨10.4064/fm954-8-2015⟩
Journal articles
hal-00853071v5
|
||
|
Foncteurs faiblement polynomiauxInternational Mathematics Research Notices, 2019, 2019 (2), pp.321-391. ⟨10.1093/imrn/rnx099⟩
Journal articles
hal-00851869v5
|
||
|
Preface: Special Issue on Homotopy Type Theory and Univalent FoundationsJournal of Automated Reasoning, 2018, ⟨10.1007/s10817-018-9491-3⟩
Journal articles
hal-01929871v1
|
||
|
Groupes d'extensions et foncteurs polynomiauxJournal of the London Mathematical Society, 2015, 92 (1), pp.63-88. ⟨10.1112/jlms/jdv017⟩
Journal articles
hal-01023705v3
|
||
|
REPRESENTATIONS OF CROSSED MODULES AND OTHER GENERALIZED YETTER-DRINFEL'D MODULESApplied Categorical Structures, 2016, ⟨10.1007/s10485-015-9421-z⟩
Journal articles
hal-01197249v1
|
||
|
Homology of left non-degenerate set-theoretic solutions to the Yang-Baxter equation2015
Preprints, Working Papers, ...
hal-01204567v1
|
||
|
Managing Logical and Computational Complexity using Program TransformationsCategory Theory [math.CT]. université de nantes, 2016
Habilitation à diriger des recherches
tel-01406351v1
|
||
|
On Hopf 2-algebrasInternational Mathematics Research Notices, 2011, 2011, pp.3471-3501. ⟨10.1093/imrn/rnq224⟩
Journal articles
hal-00410695v1
|
||
|
A Monadic Interpretation of Execution Levels and Exceptions for AOPModularity: AOSD'12, Mar 2012, Postdam, Germany
Conference papers
inria-00592132v3
|
- 1
- 2