PREUVES, PROGRAMMES et SYSTÈMES
Consultation
Liste des articles
Liste par année
Liste par domaine
Liste par auteurs
Rechercher
194 articles – 164 notices
[english version]
.:.
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]