302 articles – 345 Notices  [english version]
.:. Consultation > Liste des articles .:.
647 documents classés par :
Première Page Page Précédente ... 2 - 3 - 4 - 5 - 6 - 7 - 8 ... Page Suivante Page Finale
fulltext access A Unified Approach to Fully Lazy Sharing
Balabonski T.
Rapport de recherche [hal-00637048 - version 1]
fulltext access Constraining rule-based dynamics with types
Danos V., Harmer R., Winskel G.
[hal-00694492 - version 1] (04/05/2012)
restricted file access Visible acyclic differential nets, Part I: Semantics
Pagani M.
Annals of Pure and Applied Logic 163, 3 (2011) 238-265 [hal-00698973 - version 1]
fulltext access Distributed Markov Processes
Abbes S.
Research report [hal-00631501 - version 1]
Resource Lambda-Calculus: the Differential Viewpoint
Ehrhard T.
Dans Computer Science Logic (CSL'11) - 25th International Workshop/20th Annual Conference of the EACSL - Computer Science Logic (CSL'11), Norvège (2011) [hal-00707790 - version 1]
fulltext access Aligning component upgrades
Di Cosmo R., Lhomme O., Michel C.
Dans Logics for Component Configuration - Logics for Component Configuration, Italie (2011) [hal-00622830 - version 1]
fulltext access Continuation-Passing C: compiling threads to events through continuations
Kerneis G., Chroboczek J.
Higher-Order and Symbolic Computation 24, 3 (2011) 239-279 [inria-00537964 - version 3]
On software component co-installability
Vouillon J., Di Cosmo R.
Dans ESEC/FSE - ESEC/FSE, France (2011) [hal-00622826 - version 1]
Full Abstraction for Resource Calculus with Tests
Ehrhard T., Bucciarelli A., Carraro A., Manzonetto G.
Dans Computer Science Logic (CSL'11) - 25th International Workshop/20th Annual Conference of the EACSL - Computer Science Logic (CSL'11), Norvège (2011) [hal-00707814 - version 1]
fulltext accessible on an other server Proceedings Second Workshop on Logics for Component Configuration
Drescher C., Lynce I., Treinen R.
(2011) 1--45 [hal-00686040 - version 1]
fulltext access Proofs as Tree Languages
Hetzl S.
Research report [hal-00613713 - version 1]
fulltext access Realizability algebras: a program to well order R
Krivine J.-L.
Logical Methods in Computer Science (LMCS) 7, 3 (2011) 1-47 [hal-00483232 - version 2]
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]
Programmation de droite à gauche
Manoury P.
Paracamplus ed. 150 pages, 16 euros (2011) [hal-00641017 - version 1]
Continuous Random Variables
Goubault-Larrecq J., Varacca D.
Dans Proceedings of the 26 IEEE symposium of Logic In Computer Science (LICS2011) - IEEE symposium of Logic In Computer Science, Canada (2011) [hal-00629723 - version 1]