.:. Consultation > Liste des articles .:.

360 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 ...

Logique et Interaction : une Étude Sémantique de la Totalité Clairambault P. Université Paris-Diderot - Paris VII (19/02/2010), Russ Harmer (Dir.) [tel-00459307 - version 1]

Algèbres de réalisabilité: un programme pour bien ordonner R Krivine J.-L. [hal-00457613 - version 1] (17/02/2010)

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)