302 articles – 345 references  [version française]
.:. Browse > List by subject > Category Theory .:.
50 documents ordered by :
1 - 2 - 3 - 4 Next Last
fulltext accessible on an other server Monads with arities and their associated theories
Berger C., melliès P.-A., Weber M.
Journal of Pure and Applied Algebra 216, 8-9 (2012) 2029-2048 [hal-00702041 - version 1]
fulltext access Higher-dimensional normalisation strategies for acyclicity
Guiraud Y., Malbos P.
Advances in Mathematics 231, 3-4 (2012) 2294-2351 [hal-00531242 - version 3]
fulltext access Coherence in monoidal track categories
Guiraud Y., Malbos P.
Mathematical Structures in Computer Science 22, 6 (2012) 931-969 [hal-00470795 - version 2]
Higher Categories and Rewriting
Métayer F.
Operads and Rewriting, France (2011) [hal-00694631 - version 1]
fulltext accessible on an other server Towards a homotopy theory of higher dimensional transition systems
Gaucher P.
Theory and Applications of Categories 25, 12 (2011) 295-341 [hal-00532852 - version 1]
fulltext accessible on an other server A 2-Categorical Analysis of the Tripos-to-Topos Construction
Frey J.
[hal-00698461 - version 1] (2012-05-16)
Towards a Homotopy Theory of Higher Dimensional Transition Systems
Gaucher P.
Séminaire Itinérant de Catégories, France (2011) [hal-00695068 - version 1]
fulltext access The Brown-Golasinski model structure on strict $\infty$-groupoids revisited
Ara D., Métayer F.
Homology, Homotopy and Applications 13, 1 (2011) 121-142 [hal-00525842 - version 2]
fulltext accessible on an other server Directed algebraic topology and higher dimensional transition system
Gaucher P.
New York Journal of Mathematics 16 (2010) 409-461 [hal-00495670 - version 1]
fulltext access A folk model structure on omega-cat
Lafont Y., Métayer F., Worytkiewicz K.
Advances in Mathematics 224, 3 (2010) 1183-1231 [hal-00395898 - version 1]
fulltext accessible on an other server Combinatorics of labelling in higher dimensional automata
Gaucher P.
Theoretical Computer Science 411, 11-13 (2010) 1452-1483 [hal-00495651 - version 1]
fulltext access Resource modalities in tensor logic
melliès P.-A., Tabareau N.
Annals of Pure Applied Logic 161, 5 (2010) 632-653 [hal-00339154 - version 2]
fulltext accessible on an other server Homotopical interpretation of globular complex by multipointed d-space
Gaucher P.
Theory and Applications of Categories 22, 22 (2009) 588-621 [hal-00495657 - version 1]
Higher Dimensional Transition System and Labelled Symmetric Precubical Set
Gaucher P.
Séminaire Itinérant de Catégories, France (2009) [hal-00695146 - version 1]
fulltext access An algebraic account of references in game semantics
melliès P.-A., Tabareau N.
In Proceedings of the 25th Conference on Mathematical Foundations of Programming Semantics (MFPS 2009) - Mathematical Foundations of Programming Semantics, United Kingdom (2009) [hal-00374933 - version 2]