3532 articles – 5253 references  [version française]
.:. Browse > List by subject > Algebraic Topology .:.
7 documents ordered by :
fulltext accessible on an other server Helly numbers of acyclic families
de Verdière E. C., Ginot G., Goaoc X.
(24/02/2011) [hal-00646166 - version 1]
A new homotopy-theoretic interpretation of Martin-Löf's identity type.
Lamarche F.
Dans Models, Logics and Higher-Dimensional Categories: A Tribute to the Work of Mihaly Makkai 53 (2011) [inria-00625956 - version 1]
fulltext access 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]
Axioms and Models for Concrete Homotopy
Lamarche F.
Dans CT2010 International Category Theory Conference (2010) [inria-00620107 - version 1]
An Interesting Link Between Type Theory and Algebraic topology.
Lamarche F.
Dans SD09 Structures and Deductions 2009 (2009) [inria-00620172 - version 1]
fulltext access Higher-dimensional categories with finite derivation type
Guiraud Y., Malbos P.
Theory and Applications of Categories 22, 18 (2009) 420-478 [hal-00326974 - version 2]
fulltext access Homotopy in Cat via Paths and the Fundamental Groupoid of a Category
Lamarche F.
(2008) [inria-00347424 - version 1]