Search - Université de Nantes Access content directly

Filter your results

31 Results
Domains : math.math-ct
Image document

The next 700 syntactical models of type theory

Simon Boulier , Pierre-Marie Pédrot , Nicolas Tabareau
Certified Programs and Proofs (CPP 2017), Jan 2017, Paris, France. pp.182 - 194, ⟨10.1145/3018610.3018620⟩
Conference papers hal-01445835v1
Image document

Lawvere-Tierney sheafification in Homotopy Type Theory

Kevin Quirin , Nicolas Tabareau
Journal 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 programming

Ismael Figueroa , Nicolas Tabareau , Éric Tanter
Science of Computer Programming, 2016, 119, pp.3-30. ⟨10.1016/j.scico.2015.11.010⟩
Journal articles hal-01400002v1
Image document

The Diamond Lemma for non-terminating rewriting systems using deterministic reduction strategies

Cyrille Chenavier , Maxime Lucas
IWC 2019 - 8th International Workshop on Confluence, Jun 2019, Dortmund, Germany. pp.1-5
Conference papers hal-02385139v1
Image document

Heterogeneous Substitution Systems Revisited

Benedikt Ahrens , Ralph Matthes
Tarmo 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 Coq

Éric Tanter , Nicolas Tabareau
11th ACM Dynamic Languages Symposium (DLS 2015), Oct 2015, Pittsburgh, United States. ⟨10.1145/2816707.2816710⟩
Conference papers hal-01238774v1
Image document

Le foncteur V -> $F_2[V]^{\otimes 3}$ entre $F_2$-espaces vectoriels est noethérien

Aurélien Djament
Annales de l'Institut Fourier, 2009, 59 (2), pp.459-490
Journal articles hal-00132871v4
Image document

Cohomologie des foncteurs polynomiaux sur les groupes libres

Aurélien Djament , Teimuraz Pirashvili , Christine Vespa
Documenta Mathematica, 2016, 21, pp.205-222
Journal articles hal-01059825v1
Image document

Model structure on the universe of all types in interval type theory

Simon Boulier , Nicolas Tabareau
Mathematical Structures in Computer Science, 2020, pp.1-32. ⟨10.1017/S0960129520000213⟩
Journal articles hal-02966633v1
Image document

Méthodes fonctorielles pour l'étude de l'homologie stable des groupes

Aurélien Djament
Topologie algébrique [math.AT]. Université de Nantes, Faculté des sciences et des techniques., 2017
Habilitation à diriger des recherches tel-01449940v1
Image document

De l'homologie stable des groupes de congruence

Aurélien Djament
Preprints, Working Papers, ... hal-01565891v2
Image document

The Marriage of Univalence and Parametricity

Nicolas Tabareau , Éric Tanter , Matthieu Sozeau
Journal 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 monoidal

Dimitri Ara , Maxime Lucas
Theory and Applications of Categories, 2020, 35 (21), pp.745-808
Journal articles hal-02386617v1
Image document

Equivalences for Free

Nicolas Tabareau , Éric Tanter , Matthieu Sozeau
Proceedings of the ACM on Programming Languages, 2018, ICFP'18, 2 (ICFP), pp.1-29. ⟨10.1145/3234615⟩
Journal articles hal-01559073v6
Image document

Sur l'homologie des groupes orthogonaux et symplectiques à coefficients tordus

Aurélien Djament , Christine Vespa
Annales Scientifiques de l'École Normale Supérieure, 2010, 43 (3), pp.395-459
Journal articles hal-00315573v4
Image document

A type-theoretical definition of weak ω-categories

Eric Finster , Samuel Mimram
LICS 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
Image document

Partial Type Equivalences for Verified Dependent Interoperability

Pierre-Evariste Dagand , Nicolas Tabareau , Éric Tanter
ICFP 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 logic

Paul-André Melliès , Nicolas Tabareau , Christine Tasson
Mathematical Structures in Computer Science, 2018, 28 (7), pp.1253-1286. ⟨10.1017/S0960129516000426⟩
Journal articles hal-01992148v1
Image document

Chemical foundations of distributed aspects

Nicolas Tabareau , Éric Tanter
Distributed Computing, 2019, 32 (3), pp.193-216. ⟨10.1007/s00446-018-0334-6⟩
Journal articles hal-01811884v1
Image document

Aspect Oriented Programming: a language for 2-categories

Nicolas Tabareau
[Research Report] RR-7527, INRIA. 2011, pp.30
Reports inria-00470400v3
Image document

Univalence for free

Matthieu Sozeau , Nicolas Tabareau
Preprints, Working Papers, ... hal-00786589v3
Image document

Des propriétés de finitude des foncteurs polynomiaux

Aurélien Djament
Fundamenta Mathematicae, 2016, 233, pp.197-256. ⟨10.4064/fm954-8-2015⟩
Journal articles hal-00853071v5
Image document

Foncteurs faiblement polynomiaux

Aurélien Djament , Christine Vespa
International Mathematics Research Notices, 2019, 2019 (2), pp.321-391. ⟨10.1093/imrn/rnx099⟩
Journal articles hal-00851869v5
Image document

Preface: Special Issue on Homotopy Type Theory and Univalent Foundations

Peter Lefanu Lumsdaine , Nicolas Tabareau
Journal of Automated Reasoning, 2018, ⟨10.1007/s10817-018-9491-3⟩
Journal articles hal-01929871v1
Image document

Groupes d'extensions et foncteurs polynomiaux

Aurélien Djament
Journal of the London Mathematical Society, 2015, 92 (1), pp.63-88. ⟨10.1112/jlms/jdv017⟩
Journal articles hal-01023705v3
Image document


Victoria Lebed , Friedrich Wagemann
Applied 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 equation

Victoria Lebed , Leandro Vendramin
Preprints, Working Papers, ... hal-01204567v1
Image document

Managing Logical and Computational Complexity using Program Transformations

Nicolas Tabareau
Category Theory [math.CT]. université de nantes, 2016
Habilitation à diriger des recherches tel-01406351v1

On Hopf 2-algebras

Yaël Frégier , Friedrich Wagemann
International Mathematics Research Notices, 2011, 2011, pp.3471-3501. ⟨10.1093/imrn/rnq224⟩
Journal articles hal-00410695v1
Image document

A Monadic Interpretation of Execution Levels and Exceptions for AOP

Nicolas Tabareau
Modularity: AOSD'12, Mar 2012, Postdam, Germany
Conference papers inria-00592132v3