.:. Consultation > Liste des articles .:.

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

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

A finiteness structure on resource terms Ehrhard T. [hal-00448431 - version 1] (19/01/2010)

Quasipolynomial Normalisation in Deep Inference via Atomic Flows and Threshold Formulae Bruscoli P., Guglielmi A., Gundersen T., Parigot M. [inria-00441213 − version 1] (15/12/2009)

SÉMANTIQUES ET SYNTAXES VECTORIELLES DE LA LOGIQUE LINÉAIRE Tasson C. Université Paris-Diderot - Paris VII (04/12/2009), Pierre-Louis CURIEN, Thomas EHRHARD (Dir.) [tel-00440752 - version 3]

An affine-intuitionistic system of types and effects: confluence and termination Amadio R., Baillot P., Madet A. [hal-00438101 − version 1] (02/12/2009)

Strong Dependencies between Software Components Abate P., Boender J., Di Cosmo R., Zacchiroli S. Dans ESEM 2009. 3rd International Symposium on Empirical Software Engineering and Measurement, 2009. - ESEM 2009. 3rd International Symposium on Empirical Software Engineering and Measurement, 2009., États-Unis d'Amérique (2009) [hal-00438590 − version 1]

Apache UIMA pour le Traitement Automatique des Langues Hernandez N., Poulard F., Afantenos S., Vernier M., Rocheteau J. 16ème conférence sur le Traitement Automatique des Langues Naturelles (TALN'09) - Session Démonstration (2009) [hal-00423728 − version 1]

Expressing advanced user preferences in component installation Treinen R., Zacchiroli S. Dans Foundations of Software Engineering Proceedings of the 1st international workshop on Open component ecosystems - IWOCE 2009: 1st international workshop on Open component ecosystems, Pays-Bas (2009) [hal-00420065 − version 1]

Towards maintainer script modernization in FOSS distributions Di Ruscio D., Pelliccione P., Pierantonio A., Zacchiroli S. Dans Foundations of Software Engineering Proceedings of the 1st international workshop on Open component ecosystems - IWOCE 2009: 1st international workshop on Open component ecosystems, Pays-Bas (2009) [hal-00420061 − version 1]

Experience Report: Using Objective Caml to develop safety-critical embedded tool in a certificaiton framework Pagano B., Andrieu O., Moniot T., Canou B., Chailloux E., Wang P., Manoury P., Colaço J.-L. International Conference of Functional Programming ICFP 09 - International Conference of Functional Programming ICFP 09, Royaume-Uni (2009) [hal-00396371 − version 1]

Totality in arena games Clairambault P., Harmer R. Annals of Pure and Applied Logic (2009) 1-17 [hal-00443535 − version 1]

An algebraic account of references in game semantics Melliès P.-A., Tabareau N. Dans Proceedings of the 25th Conference on Mathematical Foundations of Programming Semantics (MFPS 2009) - Mathematical Foundations of Programming Semantics, Royaume-Uni (2009) [hal-00374933 − version 2]

An explicit formula for the free exponential modality of linear logic Melliès P.-A., Tabareau N., Tasson C. Dans Automata, Languages and Programming - 36th International Colloquium on Automata, Languages and Programming, Grèce (2009) [hal-00391714 − version 2]

A folk model structure on omega-cat Lafont Y., Métayer F., Worytkiewicz K. [hal-00395898 − version 1] (16/06/2009)

On the categorical semantics of Elementary Linear Logic Laurent O. Theory and Applications of Categories 22, 10 (2009) 269-301 [hal-00398598 − version 1]

Polygraphic resolutions and homology of monoids Lafont Y., Métayer F. Journal of Pure and Applied Algebra 213 (2009) 947-968 [hal-00148370 − version 2]