.:. Browse > List by subject > Computer Science .:.

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

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

On global types and multi-party sessions Castagna G., Dezani-Ciancaglini M., Padovani L. Logical Methods in Computer Science 8, 1 (2012) 1-45 [hal-00694636 - version 1]

Formal Cellular Machinery Damgaard T. C., Hojsgaard E., Krivine J. Dans Proceedings of the Second International Workshop on Static Analysis and Systems Biology - SASB 2011, Italie (2011) [hal-00692416 - version 1]

Preservation of strong normalisation modulo permutations for the structural lambda-calculus Accattoli B., Kesner D. Logical Methods in Computer Science 8, 1:28 (2012) Pages 1-44 [hal-00686780 - version 1]

Combinatorial complexity and compositional drift in protein interaction networks. Deeds E. J., Krivine J., Feret J., Danos V., Fontana W. PLoS ONE 7, 3 (2012) [hal-00677889 - version 1]

Reducing Equational Theories for the Decision of Static Equivalence Kremer S., Mercier A., Treinen R. Journal of Automated Reasoning 48, 2 (2012) 197-217 [inria-00636797 - version 1]

A relational semantics of parallelism and non-determinism in a functional setting. Bucciarelli A., Ehrhard T., Manzonetto G. Annals of Pure and Applied Logic 163, 7 (2012) 918-934 [inria-00628887 - version 1]

The Scott model of Linear Logic is the extensional collapse of its relational model Ehrhard T. Journal of Theoretical Computer Science (TCS) 424 (2012) 20-45 [hal-00369831 - version 1]

An approach to innocent strategies as graphs Curien P.-L., Faggian C. Information and Computation 214 (2012) 119-155 [hal-00155293 - version 1]

Les ressources explicites vues par la théorie de la réécriture. Renaud F. Université Paris-Diderot - Paris VII (07/12/2011), Delia Kesner (Dir.) [tel-00697408 - version 1]

Supporting software evolution in component-based FOSS systems. Di Cosmo R., Di Ruscio D., Pelliccione P., Pierantonio A., Zacchiroli S. Science of Computer Programming 76, 12 (2011) 1144-1160 [hal-00622823 - version 1]

Higher Categories and Rewriting Métayer F. Operads and Rewriting, France (2011) [hal-00694631 - version 1]

A Unified Approach to Fully Lazy Sharing Balabonski T. Rapport de recherche [hal-00637048 - version 1]

Constraining rule-based dynamics with types Danos V., Harmer R., Winskel G. [hal-00694492 - version 1] (04/05/2012)

Visible acyclic differential nets, Part I: Semantics Pagani M. Annals of Pure and Applied Logic 163, 3 (2011) 238-265 [hal-00698973 - version 1]

Distributed Markov Processes Abbes S. Research report [hal-00631501 - version 1]