, Multiple Categories: The Equivalence of a Globular and a Cubical Approach, Advances in Mathematics, vol.170, issue.1, pp.71-118, 2002.
DOI : 10.1006/aima.2001.2069
, Nerves of multiple categories, Proc. London Math. Soc. (3), pp.92-128, 1993.
, A model of type theory in cubical sets, 19th International Conference on Types for Proofs and Programs, pp.107-128, 2013.
, Homotopy limits, completions and localizations, Lecture Notes in Math, vol.304, 1972.
, Sur les complexes croisés, ?-groupoïdes, et T -complexes, C. R. Acad. Sci. Paris Sér. A-B, vol.285, issue.16, pp.997-999, 1977.
, On the algebra of cubes, Journal of Pure and Applied Algebra, vol.21, issue.3, pp.233-260, 1981.
DOI : 10.1016/0022-4049(81)90018-9
, Cubical abelian groups with connections are equivalent to chain complexes, Homology, Homotopy and Applications, vol.5, issue.1, pp.49-52, 2003.
DOI : 10.4310/HHA.2003.v5.n1.a2
, Nonabelian algebraic topology Filtered spaces, crossed complexes, cubical homotopy groupoids, EMS Tracts in Mathematics. European Mathematical Society (EMS), vol.15, 2011.
DOI : 10.4171/083
, Double groupoids and crossed modules. Cahiers Topologie Géom, Différentielle, vol.17, issue.4, pp.343-362, 1976.
, Les préfaisceaux comme modèles des types d'homotopie. Société mathématique de France, 2006.
, Pasting schemes for the monoidal biclosed structure on ?-cat, 1995.
, Localizations of transfors. K-Theory, pp.39-105, 2003.
, Homotopy invariants of higher dimensional categories and concurrency in computer science, Mathematical Structures in Computer Science, vol.10, issue.4, pp.481-524, 2000.
DOI : 10.1017/S0960129500003182
, Combinatorics of branchings in higher dimensional automata, Theory Appl. Categ, vol.8, issue.12, pp.324-376, 2001.
, Some geometric perspectives in concurrency theory, Homology, Homotopy and Applications, vol.5, issue.2, pp.95-136, 2001.
DOI : 10.4310/HHA.2003.v5.n2.a5
, Higher cospans and weak cubical categories (cospans in algebraic topology. I) Theory Appl, Categ, vol.18, issue.12, pp.321-347, 2007.
, Directed algebraic topology, volume 13 of New Mathematical Monographs, 2009.
, Cubical sets and their site, Theory Appl. Categ, vol.11, issue.8, pp.185-211, 2003.
, Higher-dimensional normalisation strategies for acyclicity, Advances in Mathematics, vol.231, issue.3-4, pp.2294-2351, 2012.
DOI : 10.1016/j.aim.2012.05.010
URL : https://hal.archives-ouvertes.fr/hal-00531242
, Thin elements and commutative shells in cubical ?-categories, Theory Appl. Categ, vol.14, issue.4, pp.60-74, 2005.
, Abstract homotopy. I, Proc. Nat. Acad. Sci. U.S.A, pp.1092-1096, 1955.
, Functors involving c.s.s. complexes, Trans. Amer. Math. Soc, vol.87, pp.330-346, 1958.
, A cubical Squier's theorem. Preprint
, La cat??gorie cubique avec connexions est une cat??gorie test stricte, Homology, Homotopy and Applications, vol.11, issue.2, pp.309-326, 2009.
DOI : 10.4310/HHA.2009.v11.n2.a15
URL : http://www.intlpress.com/site/pub/files/_fulltext/journals/hha/2009/0011/0002/HHA-2009-0011-0002-a015.pdf
, Générateurs et relations des groupes de Weyl généralisés, C. R. Acad. Sci, vol.258, issue.13, p.3419, 1964.
, Rational Homotopy Theory, The Annals of Mathematics, vol.90, issue.2, pp.205-295, 1969.
DOI : 10.2307/1970725
, Homologie Singuliere Des Espaces Fibres, The Annals of Mathematics, vol.54, issue.3, pp.31-33, 1951.
DOI : 10.2307/1969485
, The algebra of directed complexes, Applied Categorical Structures, vol.32, issue.3, pp.247-284, 1993.
DOI : 10.1007/BF00873990
, Omega-categories and chain complexes, Homology, Homotopy and Applications, vol.6, issue.1, pp.175-200, 2004.
DOI : 10.4310/HHA.2004.v6.n1.a12
URL : http://arxiv.org/pdf/math/0403237v1.pdf
, Cubical groups which are Kan, J. Pure Appl. Algebra, vol.81, issue.1, pp.83-87, 1992.