.:. Consultation > Par domaines > Catégories et ensembles .:.

25 documents classés par : Date Titre Nom du premier auteur Type de documents Date de dépôt

1 - 2 - 3

A Homotopical Completion Procedure with Applications to Coherence of Monoids Guiraud Y., Malbos P., Mimram S. [hal-00818253 - version 1]

Univalence for free Sozeau M., Tabareau N. (08/02/2013) [hal-00786589 - version 3]

A Monadic Interpretation of Execution Levels and Exceptions for AOP Tabareau N. Dans Modularity: AOSD'12 (2012) [inria-00592132 - version 3]

Coherent presentations of Artin groups Gaussent S., Guiraud Y., Malbos P. [hal-00682233 - version 2]

Higher-dimensional normalisation strategies for acyclicity Guiraud Y., Malbos P. Advances in Mathematics 231, 3-4 (2012) 2294-2351 [hal-00531242 - version 3]

Coherence in monoidal track categories Guiraud Y., Malbos P. Mathematical Structures in Computer Science 22, 6 (2012) 931-969 [hal-00470795 - version 2]

Frobenius Algebras and Classical Proof Nets Lamarche F., Novakovic N. Dans Fifth International Conference on Topology, Algebra and Categories in Logic - TACL 2011 (2011) [inria-00620126 - version 1]

Aspect Oriented Programming: a language for 2-categories Tabareau N. N° RR-7527 (2011) [inria-00470400 - version 3]

A Non-Standard Semantics for Kahn Networks in Continuous Time Beauxis R., Mimram S. Dans Computer Science Logic (CSL'11) - 25th International Workshop/20th Annual Conference of the EACSL 12 (2011) 35--50 [inria-00616968 - version 1]

Identities among relations for higher-dimensional rewriting systems Guiraud Y., Malbos P. Société Mathématique de France, Séminaires et Congrès 26 (2011) 145-161 [hal-00426228 - version 2]