.:. Browse > List by subject > Mathematics .:.

133 documents ordered by : Date Title first author name document type Submit date

... 2 - 3 - 4 - 5 - 6 - 7 - 8 ...

Cubes, homotopy and process algebra Gaucher P. Algebraic Topological Methods in Computer Science 2008, France (2008) [hal-00695053 - version 1]

A topological model for studying branching and merging homologies of flows Gaucher P. CONFÉRENCE INTERNATIONALE DE THÉORIE DES CATÉGORIES 2008, France (2008) [hal-00695198 - version 1]

Cut Elimination for Monomial MALL Proof Nets Laurent O., Maieli R. In 23rd Annual IEEE Symposium on Logic in Computer Science - Logic in Computer Science, France (2008) [hal-00349555 - version 1]

Towards a homotopy theory of process algebra Gaucher P. Homology, Homotopy and Applications 10, 1 (2008) 353-388 [hal-00338471 - version 1]

Presentation of a Game Semantics for First-Order Propositional Logic Mimram S. [hal-00277652 - version 1] (07/05/2008)

Cofibrant objects among higher-dimensional categories Métayer F. Homology, Homotopy and Applications(HHA) 10, 1 (2008) 181-203 [hal-00259476 - version 1]

Globular realization and cubical underlying homotopy type of time flow of process algebra Gaucher P. New York Journal of Mathematics 14 (2008) 101-137 [hal-00338468 - version 1]

The joy of string diagrams Curien P.-L. Dans Proceedings of the Conference Computer Science Logic - Computer Science Logic, Italie (2008) [hal-00697115 - version 1]

Homology of Higher Categories Métayer F. ATMCS'08, France (2008) [hal-00694630 - version 1]

Probabilistic true-concurrency models: Markov nets and a Law of large numbers Abbes S., Benveniste A. Theoretical Computer Science 390 (2008) 129-170 [hal-00349209 - version 1]

Free models of T-algebraic theories computed as Kan extensions melliès P.-A., Tabareau N. [hal-00339331 - version 1] (17/11/2008)

A folk model structure on omega-cat Lafont Y., Métayer F., Worytkiewicz K. [hal-00194231 - version 1] (2007-12-06)

Can a lambda-model have a recursively enumerable theory ? Berline C. Types and Computations: A Colloquium in Honor of Mario Coppo, Mariangiola Dezani-Ciancaglini, Simona Ronchi della Rocca, Italy (2007) [hal-00699810 - version 1]

Homotopical semantics of parallel composition in CCS Gaucher P. PSSL86, France (2007) [hal-00695226 - version 1]

Globular realization and cubical underlying homotopy type Gaucher P. Rencontre du projet ANR "Invariants algébriques des systèmes informatiques", France (2007) [hal-00695230 - version 1]