.:. Consultation > Liste des articles .:.

647 documents classés par : Date Titre Nom du premier auteur Type de documents Date de dépôt

... 26 - 27 - 28 - 29 - 30 - 31 - 32 ...

Resource Operators for lambda-calculus Kesner D., Lengrand S. Information and Computation 205, 4 (2007) 419-473 [hal-00148539 - version 1]

Definability and full abstraction Curien P.-L. Dans Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin, special issue - Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin, Royaume-Uni (2007) [hal-00144692 - version 1]

The theory of calculi with explicit substitutions revisited Kesner D. [hal-00111285 - version 3] (2007-01-17)

Étude d'un formalisme concurrent pour les phénomènes d'auto-organisation et la biologie moléculaire Tarissan F. Université Paris-Diderot - Paris VII (13/12/2006), Vincent Danos (Dir.) [tel-00151001 - version 1]

Self-assembling graphs Danos V., Tarissan F. Natural Computing (2006) 20 p. [hal-00150785 - version 1]

Normalisation & Equivalence en Théorie de la Démonstration & Théorie des Types Lengrand S. Université Paris-Diderot - Paris VII University of St Andrews (08/12/2006), Delia Kesner, Roy Dyckhoff (Dir.) [tel-00134646 - version 1]

Computation of Chromatic Polynomials Using Triangulations and Clique Trees Berthomé P., Lebresne S., Nguyen K. Dans Graph-Theoretic Concepts in Computer Science - WG 2005, France (2006) [hal-00150806 - version 1]

Typage et contrôle de la mobilité Hym S. Université Paris-Diderot - Paris VII (01/12/2006), Vincent Danos (Dir.) [tel-00140652 - version 1]

The anatomy of innocence revisited Harmer R., Laurent O. Dans Foundations of Software Technology and Theoretical Computer Science - (2006) [hal-00124569 - version 1]

Patterns as first-class citizens Jay C. B., Kesner D. [hal-00229331 - version 1] (31/01/2008)

Property-driven statistics of biological networks Bourguignon P.-Y., Danos V., Kepes F., Smidtas S., Schachter V. Transactions on Computational Systems Biology 6 (2006) 1-15 [hal-00155298 - version 1]

Determinism and the one-way model Danos V., Kashefi E. Phys Rev A 74, 5 (2006) article 052310 [hal-00155302 - version 1]

Differential interaction nets Ehrhard T., Regnier L. Theoretical Computer Science 364, 2 (2006) 166-195 [hal-00150274 - version 1]

Linear Logic Di Cosmo R., Miller D. Dans The Stanford Encyclopedia of Philosophy (2006) http://plato.stanford.edu/archives/fall2006/entries/logic-linear/ [hal-00160648 - version 1]

Reactive concurrent programming revisited Amadio R. M., Boudol G., Castellani I., Boussinot F. Dans Workshop on Process Algebra - Express, France (2006) [hal-00015838 - version 1]