302 articles – 345 Notices  [english version]
.:. Consultation > Liste des articles .:.
647 documents classés par :
Première Page Page Précédente ... 4 - 5 - 6 - 7 - 8 - 9 - 10 ... Page Suivante Page Finale
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 An Elementary affine λ-calculus with multithreading and side effects (extended version)
Madet A., Amadio R. M.
Rapport de recherche [hal-00569095 - version 2]
fulltext access Mancoosi Deliverable D5.3: UPDB infrastructure to collect traces of upgradeability problems in CUDF format
Abate P., Treinen R.
Rapport de recherche (2011) [hal-00698968 - version 1]
A semantic measure of the execution time in linear logic
Pagani M.
Theoretical Computer Science 412, 20 (2011) 1884-1902 [hal-00698976 - version 1]
fulltext access A decompilation of the pi-calculus and its application to termination
Amadio R.
Research report [hal-00565222 - version 1]
ℂDuce User's Manual
Benzaken V., Castagna G., Demouth J., Frisch A., Miachon C., Nguyen K., Zacchiroli S.
Available at http://www.cduce.org/manual.html (2011) [hal-00699615 - version 1]
On Multiplicative Linear Logic, Modality and Quantum Circuits
Dal Lago U., Faggian C.
Dans Proceedings of QPL 2011 (Quantum Physics and Logic) - Quantum Physics and Logic, Pays-Bas (2011) [hal-00695352 - version 1]
Client-server Web applications with Eliom
Balat V.
Ocaml Meeting 2011, France (2011) [hal-00694980 - version 1]
Enforcing Type-Safe Linking using Inter-Package Relationships
Dogguy M., Glondu S., Le Gall S., Zacchiroli S.
Studia Informatica Universalis 9, 1 (2011) 129-157 [hal-00687004 - version 1]
Probabilistic coherence spaces as a model of higher- order probabilistic computation
Ehrhard T., Danos V.
Information and Computation 152, 1 (2011) 111-137 [hal-00640435 - version 1]
Ludics with repetitions (Exponentials, Interactive types and Completeness)
Faggian C., Basaldella M.
Logical Methods in Computer Science (LMCS) 7, 2 (2011) 1-85 [hal-00629442 - version 1]
fulltext access Sources of Inter-package Conflicts in Debian
Artho C., Di Cosmo R., Suzaki K., Zacchiroli S.
Dans LoCoCo 2011 International Workshop on Logics for Component Configuration - LoCoCo 2011 International Workshop on Logics for Component Configuration, Italie (2011) [hal-00628589 - version 2]
Realizability Proof for Normalization of Full Differential Linear Logic
Gimenez S.
Lecture notes in computer science 6690 (2011) 107-122 [hal-00628984 - version 1]
Full abstraction for a resource calculus with tests
Bucciarelli A., Carraro A., Ehrhard T., Manzonetto G.
Computer Science Logic, Norvège (2011) [inria-00628886 - version 1]
A Solution to the POPLMARK Challenge Based on de Bruijn Indices
Vouillon J.
Journal of Automated Reasoning (2011) 1-36 [hal-00628381 - version 1]