Publications HAL

2022

Pré-publication, Document de travail

titre
POLYDENDRIFORM STRUCTURE ON FACES OF HYPERGRAPH POLYTOPES
auteur
Bérénice Delcroix-Oger, Pierre-Louis Curien, Jovana Obradović
article
2022
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03525971/file/hyp_long.pdf BibTex

2021

Article dans une revue

titre
A program for the full axiom of choice
auteur
Jean-Louis Krivine
article
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2021, 17 (3), pp. 21:1-21:22
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02859846/file/A_program_for_full_AC_CM.pdf BibTex

Pré-publication, Document de travail

titre
Infinets: The parallel syntax for non-wellfounded proof-theory
auteur
Abhishek De, Alexis Saurin
article
2021
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02166199/file/Infinets__The_parallel_syntax_for_non_wellfounded_proof_theory__Long_Version_.pdf BibTex

2020

Communication dans un congrès

titre
Model-Driven Engineering of Monitoring Application for Sensors and Actuators Networks
auteur
Thibault Béziers La Fosse, Zheng Cheng, Jérôme Rocheteau, Jean-Marie Mottu
article
Software Engineering and Advanced Applications, Aug 2020, Portorož, Slovenia
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02612730/file/SEAA2020_paper_102.pdf BibTex
titre
Taylor expansion for Call-By-Push-Value
auteur
Jules Chouquet, Christine Tasson
article
CSL, Jan 2020, Barcelona, Spain. ⟨10.4230/LIPIcs.CSL.2020.16⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02318600/file/cbpv_ressources.pdf BibTex

Pré-publication, Document de travail

titre
Structural Equivalence in Reversible Calculus of Communicating Systems (Abstract)
auteur
Clément Aubert, Ioana Cristescu
article
2020
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02118036/file/2020_05_13_standalone.pdf BibTex
titre
Compositionality of Rewriting Rules with Conditions
auteur
Nicolas Behr, Jean Krivine
article
2020
Accès au bibtex
https://arxiv.org/pdf/1904.09322 BibTex

2019

Article dans une revue

titre
Logics for Unordered Trees with Data Constraints
auteur
Adrien Boiret, Vincent Hugot, Joachim Niehren, Ralf Treinen
article
Journal of Computer and System Sciences, Elsevier, 2019, pp.40. ⟨10.1016/j.jcss.2018.11.004⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01176763/file/0.pdf BibTex

Communication dans un congrès

titre
Foundations of Session Types: 10 Years Later
auteur
Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Elena Giachino, Luca Padovani
article
21st International Symposium on Principles and Practice of Programming Languages 2019, Oct 2019, Porto, Portugal. ⟨10.1145/3354166.3356340⟩
Accès au bibtex
BibTex
titre
A Tractable Logic for Molecular Biology
auteur
Adrien Husson, Jean Krivine
article
International Conference on Logic Programming, Sep 2019, Las Cruces, United States. pp.101-113, ⟨10.4204/EPTCS.306.17⟩
Accès au bibtex
https://arxiv.org/pdf/1909.08236 BibTex

Pré-publication, Document de travail

titre
Deciding the First-Order Theory of an Algebra of Feature Trees with Updates (Extended Version)
auteur
Nicolas Jeannerod, Ralf Treinen
article
2019
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01760575/file/extended.pdf BibTex

2018

Article dans une revue

titre
(In)Efficiency and Reasonable Cost Models
auteur
Beniamino Accattoli
article
Electronic Notes in Theoretical Computer Science, Elsevier, 2018, 338, pp.23-43
Accès au bibtex
BibTex
titre
Photoinduced Electron-Transfer (PET) Mediated Fragmentation of Picolinium-Derived Redox Probes
auteur
Petra Dunkel, Anna Barosi, Hamid Dhimane, François Maurel, Peter Dalko
article
Chemistry - A European Journal, Wiley-VCH Verlag, 2018, 24 (49), pp.12920-12931. ⟨10.1002/chem.201801684⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02410881/file/Dunkel_et_al-2018-Chemistry_-_A_European_Journal.pdf BibTex
titre
Full Abstraction for Probabilistic PCF
auteur
Thomas Ehrhard, Michele Pagani, Christine Tasson
article
Journal of the ACM (JACM), Association for Computing Machinery, 2018, 65 (4), pp.1-44. ⟨10.1145/3164540⟩
Accès au bibtex
https://arxiv.org/pdf/1511.01272 BibTex
titre
Transport of finiteness structures and applications
auteur
Christine Tasson, Lionel Vaux
article
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2018, ⟨10.1017/S0960129516000384⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00475004/file/fin-alg.pdf BibTex
titre
Geometric and combinatorial views on asynchronous computability
auteur
Eric Goubault, Samuel Mimram, Christine Tasson
article
Distributed Computing, Springer Verlag, 2018, 31 (4), pp.289-316. ⟨10.1007/s00446-018-0328-4⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02155487/file/mimram_views.pdf BibTex
titre
Realizability algebras III : some examples
auteur
Jean-Louis Krivine
article
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2018, 28 (1), pp. 45-76
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00743120/file/RA-examples_HAL.pdf BibTex
titre
Dynamic Influence Networks for Rule-Based Models
auteur
Angus G. Forbes, Andrew Burks, Kristine Lee, Xing Li, Pierre Boutillier, Jean Krivine, Walter Fontana
article
IEEE Transactions on Visualization and Computer Graphics, Institute of Electrical and Electronics Engineers, 2018, 24 (1), pp.184-194. ⟨10.1109/TVCG.2017.2745280⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02399102/file/1711.00967.pdf BibTex

Communication dans un congrès

titre
Interactions between Causal Structures in Graph Rewriting Systems
auteur
Ioana Cristescu, Walter Fontana, Jean Krivine
article
International Workshop on Formal reasoning about Causation, Responsibility, and Explanations in Science and Technology, Apr 2018, Thessalonique, Greece. pp.65-78, ⟨10.4204/EPTCS.286.6⟩
Accès au bibtex
BibTex

Pré-publication, Document de travail

titre
Uniform generation of infinite concurrent runs: the case of trace monoids
auteur
Samy Abbes, Vincent Jugé
article
2018
Accès au bibtex
https://arxiv.org/pdf/1712.02120 BibTex

2017

Article dans une revue

titre
Measurable cones and stable, measurable functions: a model for probabilistic higher-order programming
auteur
Thomas Ehrhard, Michele Pagani, Christine Tasson
article
Proceedings of the ACM on Programming Languages, ACM, 2017, 2 (POPL), pp.1-28. ⟨10.1145/3158147⟩
Accès au bibtex
https://arxiv.org/pdf/1711.09640 BibTex
titre
A formal language for cyclic operads
auteur
Pierre-Louis Curien, Jovana Obradovic
article
Higher Structures, Macquarie University 2017
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01278214/file/CO-FLCO.pdf BibTex
titre
Free algebraic structures on the permutohedra
auteur
Emily Burgunder, Pierre-Louis Curien, Maria Ronco
article
Journal of Algebra, Elsevier, 2017, 487, pp.20-59
Accès au bibtex
BibTex
titre
Foundations of strong call by need
auteur
Thibaut Balabonski, Pablo Barenbaum, Eduardo Bonelli, Delia Kesner
article
Proceedings of the ACM on Programming Languages, ACM, 2017, 1 (ICFP), pp.1 - 29. ⟨10.1145/3110264⟩
Accès au bibtex
BibTex
titre
Automata for Unordered Trees
auteur
Adrien Boiret, Vincent Hugot, Joachim Niehren, Ralf Treinen
article
Information and Computation, Elsevier, 2017, 253, pp.304-335 ⟨10.1016/j.ic.2016.07.012⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01179493/file/DeterministicAutomataUnordered_Journal-1.pdf BibTex
titre
A comprehensible guide to a new unifier for CIC including universe polymorphism and overloading
auteur
Beta Ziliani, Matthieu Sozeau
article
Journal of Functional Programming, Cambridge University Press (CUP), 2017, 27, ⟨10.1017/S0956796817000028⟩
Accès au bibtex
BibTex

Communication dans un congrès

titre
A Formally Verified Interpreter for a Shell-like Programming Language
auteur
Nicolas Jeannerod, Claude Marché, Ralf Treinen
article
VSTTE 2017 - 9th Working Conference on Verified Software: Theories, Tools, and Experiments, Jul 2017, Heidelberg, Germany
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01534747/file/jeannerod-marche-treinen-vstte17.pdf BibTex
titre
Constructive completeness for the linear-time µ-calculus
auteur
Amina Doumane
article
Conference on Logic in Computer Science 2017, Jun 2017, Reykjavik, Iceland
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01430737/file/MAIN.pdf BibTex
titre
Incremental Update for Graph Rewriting
auteur
Thomas Ehrhard, Pierre Boutillier, Jean Krivine
article
European Symposium on Programming (ESOP), Apr 2017, Uppsala, Sweden. ⟨10.1007/978-3-662-54434-1_8⟩
Accès au bibtex
BibTex
titre
The Free Exponential Modality of Probabilistic Coherence Spaces
auteur
Thomas Ehrhard, Christine Tasson, Michele Pagani, Raphaëlle Crubillé
article
Foundations of Software Science and Computation Structures (FOSSACS), Apr 2017, Uppsala, Sweden
Accès au bibtex
BibTex
titre
The HoTT Library
auteur
Andrej Bauer, Gross Jason, Peter Lumsdaine, Michael Shulman, Matthieu Sozeau, Bas Spitters
article
CPP'17, ACM, Jan 2017, Paris, France. pp.9, ⟨10.1145/3018610.3018615⟩
Accès au bibtex
https://arxiv.org/pdf/1610.04591 BibTex

Rapport

titre
Consistency of the Predicative Calculus of Cumulative Inductive Constructions (pCuIC)
auteur
Amin Timany, Matthieu Sozeau
article
[Research Report] RR-9105, KU Leuven, Belgium; Inria Paris. 2017, pp.32
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01615123/file/consistency.pdf BibTex

Pré-publication, Document de travail

titre
Having Fun With 31.521 Shell Scripts
auteur
Nicolas Jeannerod, Yann Régis-Gianas, Ralf Treinen
article
2017
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01513750/file/main.pdf BibTex

2016

Article dans une revue

titre
A synthetic axiomatization of Map Theory
auteur
Chantal Berline, Klaus Grue
article
Theoretical Computer Science, Elsevier, 2016, 614, pp.1-62. ⟨10.1016/j.tcs.2015.11.028⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00678410/file/Berline-Grue-20150807-MapTheory.pdf BibTex
titre
Contextual equivalences in configuration structures and reversibility
auteur
Clément Aubert, Ioana Cristescu
article
Journal of Logical and Algebraic Methods in Programming, Elsevier, 2016
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01229408/file/contextual_equivalences.pdf BibTex

Communication dans un congrès

titre
Eliom: A core ML language for Tierless Web programming
auteur
Gabriel Radanne, Jérôme Vouillon, Vincent Balat
article
APLAS 2016, Nov 2016, Hanoi, Vietnam
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01349774/file/main.pdf BibTex
titre
ELIOM: tierless Web programming from the ground up
auteur
Gabriel Radanne, Jérôme Vouillon, Vincent Balat, Vasilis Papavasileiou
article
IFL, Aug 2016, Leuven, Belgium. ⟨10.1145/3064899.3064901⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01407898/file/ifl.pdf BibTex
titre
Bar recursion in classical realisability : Dependent Choice and Continuum Hypothesis
auteur
Jean-Louis Krivine
article
Computer Science Logic 2016, Aug 2016, Marseille, France. pp. 25:1-25:11, ⟨10.4230/LIPIcs.CSL.2016.25⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01090769/file/Bar_recursion_BBC_CM.pdf BibTex
titre
A bifibrational reconstruction of Lawvere's presheaf hyperdoctrine
auteur
Paul-André Melliès, Noam Zeilberger
article
IEEE/ACM Logic in Computer Science (LICS) 2016, Jun 2016, New York, United States
Accès au bibtex
https://arxiv.org/pdf/1601.06098 BibTex
titre
Classical by-need
auteur
Pierre-Marie Pédrot, Alexis Saurin
article
European Symposium on Programming, Apr 2016, Eindhoven, Netherlands
Accès au bibtex
BibTex
titre
A theory of effects and resources: adjunction models and polarised calculi
auteur
Pierre-Louis Curien, Marcelo Fiore, Guillaume Munch-Maccagnoni
article
Principles of Programmming Languages, Jan 2016, Saint-Petersbourg, Florida, United States. ⟨10.1145/2837614.2837652⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01256092/file/popl16-CFMM.pdf BibTex
titre
Conc2Seq: A Frama-C Plugin for Verification of Parallel Compositions of C Programs
auteur
Allan Blanchard, Nikolai Kosmatov, Matthieu Lemerre, Frédéric Loulergue
article
2016 IEEE 16th International Working Conference on Source Code Analysis and Manipulation (SCAM), 2016, Raleigh, NC, United States. pp.6, ⟨10.1109/SCAM.2016.18⟩
Accès au bibtex
BibTex
titre
Toward analytic rewriting theory
auteur
Benoît Valiron, Michele Pagani, Andrew Polonski
article
Informal Electronic Proceedings of the 8th International Workshop on Higher-Order Rewriting (HOR’16), 2016, Porto, Portugal
Accès au bibtex
BibTex

Chapitre d'ouvrage

titre
Verificationism and classical realizability
auteur
Alberto Naibo, Mattia Petrolo, Thomas Seiller
article
Perspectives on Interrogative Models of Inquiry, 8, Springer, pp.163-197, 2016, Logic, Argumentation & Reasoning, 978-3-319-20761-2. ⟨10.1007/978-3-319-20762-9_9⟩
Accès au bibtex
BibTex

Rapport

titre
Oracle-based Differential Operational Semantics (long version)
auteur
Thibaut Girka, David Mentré, Yann Régis-Gianas
article
[Research Report] Université Paris Diderot / Sorbonne Paris Cité. 2016
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01419860/file/long-version.pdf BibTex

Pré-publication, Document de travail

titre
Infinitary proof theory : the multiplicative additive case
auteur
David Baelde, Amina Doumane, Alexis Saurin
article
2016
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01339037/file/CSL2016.pdf BibTex
titre
The Bénabou-Roubaud monadic descent theorem via string diagrams
auteur
Jovana Obradovic
article
2016
Accès au bibtex
BibTex
titre
On the various definitions of cyclic operads
auteur
Pierre-Louis Curien, Jovana Obradovic
article
2016
Accès au bibtex
BibTex
titre
Towards Completeness via Proof Search in the Linear Time mu-Calculus
auteur
Amina Doumane, David Baelde, Lucca Hirschi, Alexis Saurin
article
2016
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01275289/file/safra.pdf BibTex

2015

Article dans une revue

titre
Iterated Chromatic Subdivisions are Collapsible
auteur
Eric Goubault, Samuel Mimram, Christine Tasson
article
Applied Categorical Structures, Springer Verlag (Germany), 2015, 23, pp.777 - 818. ⟨10.1007/s10485-014-9383-6⟩
Accès au bibtex
BibTex
titre
Left determined model categories
auteur
Philippe Gaucher
article
New York Journal of Mathematics, Electronic Journals Project, 2015, 21, pp.1093-1115
Accès au bibtex
BibTex
titre
The choice of cofibrations of higher dimensional transition systems
auteur
Philippe Gaucher
article
New York Journal of Mathematics, Electronic Journals Project, 2015, 21, pp.1117-1151
Accès au bibtex
BibTex
titre
The geometry of cubical and regular transition systems
auteur
Philippe Gaucher
article
Cahiers de topologie et géométrie différentielle catégoriques, Inconnu, 2015, LVI (4)
Accès au bibtex
https://arxiv.org/pdf/1405.5184 BibTex
titre
Uniform and Bernoulli measures on the boundary of trace monoids
auteur
Samy Abbes, Jean Mairesse
article
Journal of Combinatorial Theory, Series A, Elsevier, 2015, 135, pp.201-236. ⟨10.1016/j.jcta.2015.05.003⟩
Accès au bibtex
https://arxiv.org/pdf/1407.5879 BibTex
titre
Enseigner et apprendre les sciences informatiques à l’école
auteur
Roberto Di Cosmo
article
Interstices, INRIA, 2015
Accès au bibtex
BibTex
titre
A Structural Snapshot of Type II Pilus Formation in Streptococcus pneumoniae.
auteur
Md Munan Shaik, Charlotte Lombardi, Daniel Maragno Trindade, Daphna Fenel, Guy Schoehn, Anne-Marie Di Guilmi, Andréa Dessen
article
Journal of Biological Chemistry, American Society for Biochemistry and Molecular Biology, 2015, 290 (37), pp.22581-92
Accès au bibtex
BibTex
titre
A dependently-typed construction of semi-simplicial types
auteur
Hugo Herbelin
article
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2015, From type theory and homotopy theory to Univalent Foundations of Mathematics, 25 (Special issue 05), pp.16. ⟨10.1017/S0960129514000528⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00935446/file/simplicial-revise-final.pdf BibTex
titre
Coherent presentations of Artin monoids
auteur
Stéphane Gaussent, Yves Guiraud, Philippe Malbos
article
Compositio Mathematica, Foundation Compositio Mathematica, 2015, 151 (5), pp.957-998. ⟨10.1112/S0010437X14007842⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00682233/file/polycox.pdf BibTex
titre
A formal semantics of nested atomic sections with thread escape
auteur
Frédéric Dabrowski, Frédéric Loulergue, Thomas Pinsard
article
Computer Languages, Systems and Structures, Elsevier, 2015, 42 (supl), pp.2-21. ⟨10.1016/j.cl.2015.04.001⟩
Accès au bibtex
BibTex

Communication dans un congrès

titre
Automatic Deployment of Services in the Cloud with Aeolus Blender
auteur
Roberto Di Cosmo, Antoine Eiche, Jacopo Mauro, Stefano Zacchiroli, Gianluigi Zavattaro, Jakub Zwolakowski
article
ICSOC, Nov 2015, Goa, India. pp.397--411, ⟨10.1007/978-3-662-48616-0_28⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01233489/file/main.pdf BibTex
titre
Rigid Families for CCS and the π-calculus
auteur
Ioana Cristescu, Jean Krivine, Daniele Varacca
article
12th International Colloquium on Theoretical Aspects of Computing (ICTAC 2015), Oct 2015, Cali, Colombia
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01189062/file/labelled_stfam.pdf BibTex
titre
A Mechanically Checked Generation of Correlating Programs Directed by Structured Syntactic Differences
auteur
Thibaut Girka, David Mentré, Yann Régis-Gianas
article
Automated Technology for Verification and Analysis, Oct 2015, Shanghai, China. ⟨10.1007/978-3-319-24953-7_6⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01238704/file/root.pdf BibTex
titre
From Geometric Semantics to Asynchronous Computability
auteur
Éric Goubault, Samuel Mimram, Christine Tasson
article
DISC 2015, Toshimitsu Masuzawa; Koichi Wada, Oct 2015, Tokyo, Japan. ⟨10.1007/978-3-662-48653-5_29⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01207146/file/35.pdf BibTex
titre
A unification algorithm for Coq featuring universe polymorphism and overloading
auteur
Beta Ziliani, Matthieu Sozeau
article
20th ACM SIGPLAN International Conference on Functional Programming, Sep 2015, Vancouver, Canada. ⟨10.1145/2784731.2784751⟩
Accès au bibtex
BibTex
titre
Automatic Application Deployment in the Cloud: from Practice to Theory and Back
auteur
Roberto Di Cosmo, Michael Lienhardt, Jacopo Mauro, Stefano Zacchiroli, Gianluigi Zavattaro, Jakub Zwolakowski
article
Proceedings of 26th International Conference on Concurrency Theory (CONCUR 2015), Sep 2015, Madrid, Spain. pp.1--16, ⟨10.4230/LIPIcs.CONCUR.2015.1⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01233426/file/main.pdf BibTex
titre
Least and Greatest Fixed Points in Ludics
auteur
David Baelde, Amina Doumane, Alexis Saurin
article
24th EACSL Annual Conference on Computer Science Logic (CSL 2015), Sep 2015, Berlin, Germany. pp.549--566, ⟨10.4230/LIPIcs.CSL.2015.549⟩
Accès au bibtex
BibTex
titre
Equations for Hereditary Substitution in Leivant's Predicative System F: A Case Study
auteur
Cyprien Mangin, Matthieu Sozeau
article
Tenth International Workshop on Logical Frameworks and Meta Languages: Theory and Practice, Aug 2015, Berlin, Germany. ⟨10.4204/EPTCS.185.5⟩
Accès au bibtex
BibTex
titre
Parallelism and Synchronization in an Infinitary Context
auteur
Ugo Dal Lago, Claudia Faggian, Benoît Valiron, Akira Yoshimizu
article
LICS 2015, Jul 2015, Kyoto, Japan. ⟨10.1109/LICS.2015.58⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01231813/file/main_lics.pdf BibTex
titre
Cloud Resources Placement Based on Functional and Non-Functional Requirements
auteur
Asma Guesmi, Patrice Clemente, Frédéric Loulergue, Pascal Berthomé
article
SECRYPT, Jul 2015, Colmar, France
Accès au bibtex
BibTex
titre
Injectivity of relational semantics with respect to MELL proof-nets and the Taylor expansion
auteur
Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco
article
8th International Conference on Topology, Algebra and Categories in Logic, Jun 2015, Ischia, Italy
Accès au bibtex
BibTex
titre
Reversible Barbed Congruence on Configuration Structures
auteur
Clément Aubert, Ioana Cristescu
article
8th Interaction and Concurrency Experience (ICE 2015) Satellite workshop of DisCoTec 2015, Jun 2015, Grenoble, France. pp.68-85, ⟨10.4204/EPTCS.189.7⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01157974/file/1508.04852v1.pdf BibTex
titre
Toward dependent choice: a classical sequent calculus with dependent types
auteur
Hugo Herbelin, Étienne Miquey
article
TYPES 2015, May 2015, Tallinn, Estonia
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01247998/file/types2015.pdf BibTex
titre
Mechanical Verification of Interactive Programs Specified by Use Cases
auteur
Guillaume Claret, Yann Régis-Gianas
article
3rd IEEE/ACM FME Workshop on Formal Methods in Software Engineering, May 2015, Florence, Italy. ⟨10.1109/FormaliSE.2015.17⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01255107/file/index.pdf BibTex
titre
On the dependencies of logical rules
auteur
Marc Bagnol, Amina Doumane, Alexis Saurin
article
FOSSACS, 18th International Conference on Foundations of Software Science and Computation Structures, Apr 2015, London, United Kingdom
Accès au bibtex
BibTex
titre
Realizability games for arithmetical formulæ
auteur
Étienne Miquey
article
Worskshop GaLoP2015, Apr 2015, Londres, United Kingdom
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01248093/file/GaLoP2015%20%281%29.pdf BibTex
titre
Nested atomic sections with thread escape: Compilation to threads and locks
auteur
Frédéric Dabrowski, Frédéric Loulergue, Thomas Pinsard
article
ACM Symposium on Applied Computing (SAC), Apr 2015, Salamanca, Spain
Accès au bibtex
BibTex
titre
Logics for Unordered Trees with Data Constraints on Siblings
auteur
Adrien Boiret, Vincent Hugot, Joachim Niehren, Ralf Treinen
article
LATA : 9th International Conference on Language and Automata Theory and Applications, Mar 2015, Nice, France. pp.175-187
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01088761/file/paper_78.pdf BibTex
titre
Functors are Type Refinement Systems
auteur
Paul-André Melliès, Noam Zeilberger
article
42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2015), Jan 2015, Mumbai, India. ⟨10.1145/2676726.2676970⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01096910/file/funts.pdf BibTex
titre
Polymorphic Functions with Set-Theoretic Types. Part 2: Local Type Inference and Type Reconstruction
auteur
Giuseppe Castagna, Kim Nguyen, Zhiwu Xu, Pietro Abate
article
POPL '15 Proceedings of the 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Jan 2015, Mumbai, India. ⟨10.1145/2676726.2676991⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00880744/file/2main-popl.pdf BibTex
titre
Automatic and Transparent Transfer of Theorems along Isomorphisms in the Coq Proof Assistant
auteur
Théo Zimmermann, Hugo Herbelin
article
Conference on Intelligent Computer Mathematics, 2015, Washington, D.C., United States
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01152588/file/paper.pdf BibTex
titre
Construction de programmes parallèles en Coq avec des homomorphismes de listes
auteur
Frédéric Loulergue
article
14èmes journées Approches Formelles dans l'Assistance au Développement Logiciel (AFADL), 2015, Bordeaux, France
Accès au bibtex
BibTex
titre
An Intensionally Fully-abstract Sheaf Model for pi
auteur
Clovis Eberhart, Tom Hirschowitz, Thomas Seiller
article
6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015), 2015, Nimègue, Netherlands. pp.86--100, ⟨10.4230/LIPIcs.CALCO.2015.86⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00873626/file/7.pdf BibTex
titre
A Core Calculus for XQuery 3.0
auteur
Giuseppe Castagna, Hyeonseung Im, Kim Nguyễn, Véronique Benzaken
article
ESOP ’15 : 24th European Symposium on Programming, 2015, London, United Kingdom. ⟨10.1007/978-3-662-46669-8_10⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01104872/file/Hyeonseung-Im-with-appendix.pdf BibTex
titre
Modèles fonctionnels de MapReduce en Coq
auteur
Frédéric Loulergue
article
Journées Nationales du GdR GPL, 2015, Bordeaux, France
Accès au bibtex
BibTex

Chapitre d'ouvrage

titre
Calcul de programmes parallèles avec Coq
auteur
Frédéric Loulergue, Wadoud Bousdira, Julien Tesson
article
Informatique Mathématique, CNRS Éditions, 2015, collection Alpha
Accès au bibtex
BibTex

Direction d'ouvrage, Proceedings, Dossier

titre
Reversible Computation
auteur
Jean Krivine, Jean-Bernard Stefani
article
Krivine, Jean; Stefani, Jean-Bernard. Reversible Computation, Jul 2015, Grenoble, France. 9138, Springer, 2015, Lecture Notes in Computer Science, 978-3-319-20859-6. ⟨10.1007/978-3-319-20860-2⟩
Accès au bibtex
BibTex

Mémoire d'étudiant

titre
Eliminating Dependent Pattern-Matching in Coq
auteur
Cyprien Mangin
article
Programming Languages [cs.PL]. 2015
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01250855/file/main%20%286%29.pdf BibTex

Rapport

titre
OPAM for Coq
auteur
Guillaume Claret
article
[Technical Report] Inria - Paris 7. 2015
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02292537/file/index.pdf BibTex
titre
Hofstadter's problem for curious readers
auteur
Pierre Letouzey
article
[Research Report] Université Paris Diderot; INRIA Paris-Rocquencourt. 2015, pp.29
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01195587/file/report.pdf BibTex
titre
Automatic Deployment of Software Components in the Cloud with the Aeolus Blender
auteur
Roberto Di Cosmo, Antoine Eiche, Jacopo Mauro, Gianluigi Zavattaro, Stefano Zacchiroli, Jakub Zwolakowski
article
[Technical Report] Inria Sophia Antipolis. 2015
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01103806/file/main.pdf BibTex

Thèse

titre
Incrementality and effect simulation in the simply typed lambda calculus
auteur
Lourdes del Carmen Gonzalez Huesca
article
Computer Science [cs]. Universite Paris Diderot-Paris VII, 2015. English
Accès au texte intégral et bibtex
https://hal.inria.fr/tel-01248531/file/theseLGH.pdf BibTex
titre
A Materialist Dialectica
auteur
Pierre-Marie Pédrot
article
Logic in Computer Science [cs.LO]. Paris Diderot, 2015. English
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/tel-01247085/file/these.pdf BibTex
titre
A formal approach to distributed application synthesis and deployment automation
auteur
Jakub Zwolakowski
article
Software Engineering [cs.SE]. Univeristé Paris Diderot Paris 7, 2015. English
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01172022/file/jakub%20zwolakowski%20phd%20thesis.pdf BibTex

Pré-publication, Document de travail

titre
Full abstraction for probabilistic PCF
auteur
Thomas Ehrhard, Michele Pagani, Christine Tasson
article
2015
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01223791/file/main.pdf BibTex
titre
Readable semi-automatic formal proofs of Depth-First Search in graphs using Why3
auteur
Ran Chen, Jean-Jacques Levy
article
2015
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01253136/file/15dfswhy3.pdf BibTex
titre
An Isbell Duality Theorem for Type Refinement Systems
auteur
Paul-André Melliès, Noam Zeilberger
article
2015
Accès au bibtex
https://arxiv.org/pdf/1501.05115 BibTex
titre
Least and Greatest Fixed Points in Ludics
auteur
David Baelde, Amina Doumane, Alexis Saurin
article
2015
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01178396/file/main.pdf BibTex
titre
A Call-By-Push-Value FPC and its interpretation in Linear Logic
auteur
Thomas Ehrhard
article
2015
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01176033/file/llcbpv.pdf BibTex
titre
Interaction Graphs: Full Linear Logic
auteur
Thomas Seiller
article
2015
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01141292/file/IGfull-short.pdf BibTex
titre
A delay-based routing metric
auteur
Baptiste Jonglez, Matthieu Boutier, Juliusz Chroboczek
article
2015
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00954373/file/delay-based.pdf BibTex
titre
Source-specific routing
auteur
Matthieu Boutier, Juliusz Chroboczek
article
2015
Accès au texte intégral et bibtex
https://hal-univ-paris.archives-ouvertes.fr/hal-00947234/file/source-specific.pdf BibTex
titre
User-space Multipath UDP in Mosh
auteur
Matthieu Boutier, Juliusz Chroboczek
article
2015
Accès au texte intégral et bibtex
https://hal-univ-paris.archives-ouvertes.fr/hal-01114285/file/mosh.pdf BibTex
titre
Mackey-complete spaces and power series – A topological model of Differential Linear Logic
auteur
Marie Kerjean, Christine Tasson
article
2015
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01175662/file/Mackcompl.pdf BibTex

2014

Article dans une revue

titre
Call-by-value, call-by-name and the vectorial behaviour of the algebraic λ-calculus
auteur
Ali Assaf, Alejandro Díaz-Caro, Simon Perdrix, Christine Tasson, Benoît Valiron
article
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2014, 10:4 (8), pp.40. ⟨10.2168/LMCS-10(4:8)2014⟩
Accès au bibtex
https://arxiv.org/pdf/1005.2897 BibTex
titre
Formalisation mathématique, certification logicielle, même combat
auteur
Pierre-Louis Curien
article
Gazette des Mathématiciens, Société Mathématique de France, 2014, 142, pp.83-86
Accès au bibtex
BibTex
titre
Branching cells for asymmetric event structures
auteur
Samy Abbes
article
Theoretical Computer Science, Elsevier, 2014, Models of Interaction: Essays in Honour of Glynn Winskel, 546, pp.32-51. ⟨10.1016/j.tcs.2014.02.044⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00762598/file/RR-bc-AES.pdf BibTex
titre
Erratum to "Towards a homotopy theory of higher dimensional transition systems
auteur
Philippe Gaucher
article
Theory and Applications of Categories, Mount Allison University, 2014, pp.17-20
Accès au bibtex
BibTex
titre
Homotopy Theory of Labelled Symmetric Precubical Sets
auteur
Philippe Gaucher
article
New York Journal of Mathematics, Electronic Journals Project, 2014, 20, pp.93-131
Accès au bibtex
https://arxiv.org/pdf/1208.4494 BibTex
titre
Aeolus: a Component Model for the Cloud
auteur
Roberto Di Cosmo, Jacopo Mauro, Stefano Zacchiroli, Gianluigi Zavattaro
article
Information and Computation, Elsevier, 2014, pp.100-121
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01091062/file/main.pdf BibTex
titre
Revisiting the categorical interpretation of dependent type theory
auteur
Pierre-Louis Curien, Richard Garner, Martin Hofmann
article
Theoretical Computer Science, Elsevier, 2014, 546, pp.99-119. ⟨10.1016/j.tcs.2014.03.003⟩
Accès au bibtex
BibTex

Communication dans un congrès

titre
A Rule-Based Model of Base Excision Repair
auteur
Agnes Köhler, Jean Krivine, Jakob Vidmar
article
Computational Methods in Systems Biology, Nov 2014, Manchester, United Kingdom. pp.173 - 195, ⟨10.1007/978-3-319-12982-2_13⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01107691/file/ber.pdf BibTex
titre
Measuring the Words: Digital Approach to the Official Correspondence of Machiavelli
auteur
Corinne Manchio, Marc Lasson
article
AIUCD '14 Third AIUCD Annual Conference - Humanities and Their Methods in the Digital Ecosystem , Sep 2014, Bologna, Italy
Accès au bibtex
BibTex
titre
Deterministic Automata for Unordered Trees
auteur
Adrien Boiret, Vincent Hugot, Joachim Niehren, Ralf Treinen
article
Fifth International Symposium on Games, Automata, Logics and Formal Verification (Gandalf), Sep 2014, Verona, Italy. pp.189-202, ⟨10.4204/EPTCS.161.17⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01020236/file/det-unordered.pdf BibTex
titre
Using Preferences to Tame your Package Manager
auteur
Pietro Abate, Roberto Di Cosmo, Louis Gesbert, Fabrice Le Fessant, Stefano Zacchiroli
article
OCaml 2014, Sep 2014, Goteborg, Sweden
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01091177/file/ocaml2014_17.pdf BibTex
titre
The Inhabitation Problem for Non-idempotent Intersection Types
auteur
Antonio Bucciarelli, Delia Kesner, Simona Ronchi Della Rocca
article
8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.341-354, ⟨10.1007/978-3-662-44602-7_26⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01402082/file/978-3-662-44602-7_26_Chapter.pdf BibTex
titre
Quantitative Types for the Linear Substitution Calculus
auteur
Delia Kesner, Daniel Ventura
article
8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.296-310, ⟨10.1007/978-3-662-44602-7_23⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01402078/file/978-3-662-44602-7_23_Chapter.pdf BibTex
titre
Universe Polymorphism in Coq
auteur
Matthieu Sozeau, Nicolas Tabareau
article
Interactive Theorem Proving, Jul 2014, Vienna, Austria
Accès au bibtex
BibTex
titre
A Functional Functional Interpretation
auteur
Pierre-Marie Pédrot
article
CSL-LICS 2014 - Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science, Jul 2014, Vienna, Austria. ⟨10.1145/2603088.2603094⟩
Accès au bibtex
BibTex
titre
The Rooster and the Syntactic Bracket
auteur
Hugo Herbelin, Arnaud Spiwack
article
19th International Conference on Types for Proofs and Programs (TYPES 2013), Jul 2014, Toulouse, France. pp.169--187, ⟨10.4230/LIPIcs.TYPES.2013.169⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01097919/file/syntactic_bracket.pdf BibTex
titre
Injectivity of relational semantics for (connected) MELL proof-nets via Taylor expansion
auteur
Giulio Guerrieri, Lorenzo Tortora de Falco, Luc Pellissier
article
8th International Workshop on Computing with Terms and Graphs, Jul 2014, Vienna, Austria
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00998847/file/mainFinal.pdf BibTex
titre
Towards a better-behaved unification algorithm for Coq
auteur
Beta Ziliani, Matthieu Sozeau
article
UNIF 2014 Workshop, Jul 2014, Vienna, Austria. pp 74--87
Accès au bibtex
BibTex
titre
Confluence of linear rewriting and homology of algebras
auteur
Yves Guiraud, Eric Hoffbeck, Philippe Malbos
article
3rd International Workshop on Confluence, Jul 2014, Vienna, Austria
Accès au bibtex
BibTex
titre
The Geometry of Synchronization
auteur
Ugo Dal Lago, Claudia Faggian, Ichiro Hasuo, Akira Yoshimizu
article
Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jul 2014, Vienna, Austria. ⟨10.1145/2603088.2603154⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01091560/file/main.pdf BibTex
titre
Canonicity of Weak ω-groupoid Laws Using Parametricity Theory
auteur
Marc Lasson
article
MFPS 2014, Jun 2014, Ithaca, United States. pp.229 - 244, ⟨10.1016/j.entcs.2014.10.013⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01105252/file/mfps.pdf BibTex
titre
Strategies as Concurrent Processes
auteur
Simon Castellan, Jonathan Hayman, Marc Lasson, Glynn Winskel
article
MFPS 2014, Jun 2014, Ithaca, United States. pp.87-107, ⟨10.1016/j.entcs.2014.10.006⟩
Accès au bibtex
BibTex
titre
On the Structure of Classical Realizability Models of ZF
auteur
Jean-Louis Krivine
article
20th International Conference on Types for Proofs and Programs (TYPES 2014), May 2014, Paris, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01737111/file/Fondation-eng-CM.pdf BibTex
titre
Easing software component repository evolution
auteur
Jérôme Vouillon, Roberto Di Cosmo
article
International Conference on Software Engineering, May 2014, Hyderabad, India. pp.756-766, ⟨10.1145/2568225.2568262⟩
Accès au bibtex
BibTex
titre
The duality of construction
auteur
Paul Downen, Zena Ariola
article
ESOP 2014 : European Symposium on Programming, Apr 2014, Grenoble, France. 15 p
Accès au bibtex
BibTex
titre
Models of a Non-Associative Composition
auteur
Guillaume Munch-Maccagnoni
article
FOSSACS 2014 - 17th International Conference on Foundations of Software Science and Computation Structures, Apr 2014, Grenoble, France. pp.396-410, ⟨10.1007/978-3-642-54830-7_26⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00996729/file/duploids.pdf BibTex
titre
Measurements in Proof Nets as Higher-Order Quantum Circuits
auteur
Akira Yoshimizu, Ichiro Hasuo, Claudia Faggian, Ugo Dal Lago
article
23rd European Symposium on Programming, Apr 2014, Grenoble, France. pp.371 - 391, ⟨10.1007/978-3-642-54833-8_20⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01091582/file/esop14extended.pdf BibTex
titre
Compositional certification: the CERCLES2 project
auteur
Philippe Baufreton, Emmanuel Chailloux, Jean-Louis Dufour, Grégoire Henry, Pascal Manoury, Etienne Prun, Florian Thibord, Philippe Wang
article
Embedded real-time software and systems (ERTS² 2014), Feb 2014, TOULOUSE, France
Accès au texte intégral et bibtex
https://hal-onera.archives-ouvertes.fr/hal-02272116/file/ERTS_2014_submission_57.pdf BibTex
titre
Polymorphic Functions with Set-Theoretic Types. Part 1: Syntax, Semantics, and Evaluation
auteur
Giuseppe Castagna, Kim Nguyen, Zhiwu Xu, Hyeonseung Im, Sergueï Lenglet, Luca Padovani
article
POPL '14, 41th ACM Symposium on Principles of Programming Languages, Jan 2014, San Diego, United States. pp.5-17, ⟨10.1145/2535838.2535840⟩
Accès au bibtex
BibTex
titre
Nécessité faite loi: de la réduction linéaire de tête à l'évaluation paresseuse.
auteur
Alexis Saurin, Pierre-Marie Pédrot
article
JFLA 2014 - Vingt-cinquièmes Journées Francophones des Langages Applicatifs, Jan 2014, Fréjus, France
Accès au bibtex
BibTex
titre
Analyse de dépendances et correction des réseaux de preuve
auteur
Marc Bagnol, Amina Doumane, Alexis Saurin
article
JFLA 2014 - Vingt-cinquièmes Journées Francophones des Langages Applicatifs, Jan 2014, Fréjus, France
Accès au bibtex
BibTex
titre
Nécessité faite loi
auteur
Pierre-Marie Pédrot, Alexis Saurin
article
JFLA, Jan 2014, Fréjus, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01248779/file/main.pdf BibTex
titre
Unification des couleurs dans un lambda-calcul polychrome
auteur
Bernard P. Serpette, Pascal Manoury, Emmanuel Chailloux
article
Journées Francophones des Langages Applicatifs, Jan 2014, Fréjus, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00918944/file/polylambda.pdf BibTex

Mémoire d'étudiant

titre
Towards a Proof-Irrelevant Calculus of Inductive Constructions
auteur
Philipp Haselwarter
article
Programming Languages [cs.PL]. 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01114573/file/piCoq.pdf BibTex

Ouvrage (y compris édition critique et traduction)

titre
Fondements de la Programmation Concepts et Techniques
auteur
Jean-Marie Rifflet, Jean-Baptiste Yunès
article
Ellipses, 2014, 978-2340000148
Accès au bibtex
BibTex

Rapport

titre
Coq 8.4 Reference Manual
auteur
Pierre Boutillier, Stephane Glondu, Benjamin Grégoire, Hugo Herbelin, Pierre Letouzey, Pierre-Marie Pédrot, Yann Régis-Gianas, Matthieu Sozeau, Arnaud Spiwack, Enrico Tassi
article
[Research Report] Inria. 2014
Accès au bibtex
BibTex
titre
Quantitative Types for Intuitionistic Calculi
auteur
Delia Kesner, Daniel Ventura
article
2014
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00980868/file/kesner-ventura-depot-hal-2014.pdf BibTex

Thèse

titre
De nouveaux outils pour calculer avec des inductifs en Coq
auteur
Pierre Boutillier
article
Langage de programmation [cs.PL]. Université Paris-Diderot - Paris VII, 2014. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01054723/file/these_boutillier.pdf BibTex

Pré-publication, Document de travail

titre
Quelques propriétés des modèles de réalisabilité de ZF
auteur
Jean-Louis Krivine
article
2014
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00940254/file/Fondation-HAL.pdf BibTex
titre
Set-theoretic solutions of the Yang-Baxter equation, RC-calculus, and Garside germs
auteur
Patrick Dehornoy
article
2014
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00958299/file/Dil.pdf BibTex
titre
Laver's results and low-dimensional topology
auteur
Patrick Dehornoy
article
2014
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00931094/file/Dij.pdf BibTex
titre
A local transform for trace monoids
auteur
Samy Abbes
article
2014
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00925900/file/mobius.pdf BibTex

2013

Article dans une revue

titre
Markov two-components processes
auteur
Samy Abbes
article
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2013, 9 (2), pp.9 (2:14). ⟨10.2168/LMCS-9(2:14)2013⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00878108/file/1305.5239.pdf BibTex
titre
From kernels in directed graphs to fixed points and negative cycles in Boolean networks
auteur
Adrien Richard, Paul Ruet
article
Discrete Applied Mathematics, Elsevier, 2013, 161 (7-8), pp.1106-1117. ⟨10.1016/j.dam.2012.10.022⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01298841/file/2013_Kernel_DAM.pdf BibTex
titre
Constraining rule-based dynamics with types
auteur
Vincent Danos, Russ Harmer, Glynn Winskel
article
MSCS, 2013, 23 (2), pp.272-289
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00694492/file/dcmscs.pdf BibTex
titre
Optimizing XML Querying using Type-based Document Projection
auteur
Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Kim Nguyễn
article
ACM Transactions on Database Systems, Association for Computing Machinery, 2013, 38 (1), pp.1-45
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00798049/file/main.pdf BibTex
titre
Certifying and reasoning about cost annotations of functional programs
auteur
Roberto M. Amadio, Yann Régis-Gianas
article
Higher-Order and Symbolic Computation, Springer Verlag, 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00629473/file/main.pdf BibTex
titre
Identities among relations for higher-dimensional rewriting systems
auteur
Yves Guiraud, Philippe Malbos
article
Séminaires et congrès, Société mathématique de France, 2013, 26, pp.145-161
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00426228/file/niar.pdf BibTex
titre
On Software Component Co-installability
auteur
Jérôme Vouillon, Roberto Di Cosmo
article
ACM Transactions on Software Engineering and Methodology, Association for Computing Machinery, 2013, 22 (4), pp.34. ⟨10.1145/2522920.2522927⟩
Accès au bibtex
BibTex
titre
From Bytecode to JavaScript: the Js_of_ocaml Compiler
auteur
Jérôme Vouillon, Vincent Balat
article
Software: Practice and Experience, Wiley, 2013, pp.1. ⟨10.1002/spe.2187⟩
Accès au bibtex
BibTex
titre
Factorization of products of hypergraphs: Structure and algorithms
auteur
Alain Bretto, Yannick Silvestre, Thierry Vallée
article
Theoretical Computer Science, Elsevier, 2013, pp.47-58. ⟨10.1016/j.tcs.2012.12.050⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01011195/file/RIACL-BRETTO-2013-1.pdf BibTex

Communication dans un congrès

titre
Lightweight proof by reflection using a posteriori simulation of effectful computation
auteur
Guillaume Claret, Lourdes del Carmen Gonzalez Huesca, Yann Régis-Gianas, Beta Ziliani
article
Interactive Theorem Proving, Jul 2013, Rennes, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00870110/file/simulation-based-pbr-final.pdf BibTex
titre
Pervasive Parallelism in Highly-Trustable Interactive Theorem Proving Systems
auteur
Bruno Barras, Lourdes del Carmen Gonzalez Huesca, Hugo Herbelin, Yann Régis-Gianas, Enrico Tassi, Makarius Wenzel, Burkhart Wolff
article
MKM/Calculemus/DML, Jul 2013, Bath, United Kingdom. pp.359-363
Accès au bibtex
BibTex
titre
A Homotopical Completion Procedure with Applications to Coherence of Monoids
auteur
Yves Guiraud, Philippe Malbos, Samuel Mimram
article
RTA - 24th International Conference on Rewriting Techniques and Applications - 2013, Jun 2013, Eindhoven, Netherlands. pp.223-238, ⟨10.4230/LIPIcs.RTA.2013.223⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00818253/file/rta13FinalLong.pdf BibTex
titre
Semantic Subtyping for Objects and Classes
auteur
Ornela Dardha, Daniele Gorla, Daniele Varacca
article
15th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOODS) / 33th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2013, Firenze, Italy. pp.66-82, ⟨10.1007/978-3-642-38592-6_6⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00909299/file/DGV13.pdf BibTex
titre
Rethinking Traditional Web Interaction
auteur
Vincent Balat
article
International Conference on Internet and Web Applications and Services, Jun 2013, France. pp.1
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00826774/file/2013iciw-balat.pdf BibTex
titre
Broken Sets in Software Repository Evolution
auteur
Jérôme Vouillon, Roberto Di Cosmo
article
International Conference on Software Engineering, May 2013, United States. pp.412-421
Accès au bibtex
BibTex
titre
Concurrent Flexible Reversibility
auteur
Ivan Lanese, Michaël Lienhardt, Claudio Antares Mezzina, Alan Schmitt, Jean-Bernard Stefani
article
22nd European Symposium on Programming, ESOP 2013, Mar 2013, Rome, Italy. pp.370-390, ⟨10.1007/978-3-642-37036-6_21⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00811629/file/crop.pdf BibTex
titre
Un régime au concentré d'automate
auteur
Pierre-Marie Pédrot
article
JFLA - Journées francophones des langages applicatifs, Damien Pous and Christine Tasson, Feb 2013, Aussois, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00779752/file/jfla2013-10.pdf BibTex
titre
Un Lambda-Calcul Atomique
auteur
Tom Gundersen, Willem Heijltjes, Michel Parigot
article
JFLA - Journées francophones des langages applicatifs, Damien Pous and Christine Tasson, Feb 2013, Aussois, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00779903/file/jfla2013-13.pdf BibTex
titre
Static and dynamic semantics of NoSQL languages
auteur
Véronique Benzaken, Giuseppe Castagna, Kim Nguyễn, Jérôme Siméon
article
POPL, Jan 2013, Rome, Italy. pp.101-114, ⟨10.1145/2429069.2429083⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00797956/file/main.pdf BibTex
titre
A declarative-friendly API for Web document manipulation
auteur
Benjamin Canou, Emmanuel Chailloux, Vincent Balat
article
International Symposium on Practical Aspects of Declarative Languages (PADL 2013), Jan 2013, Rome, Italy. pp.109-124, ⟨10.1007/978-3-642-45284-0_8⟩
Accès au bibtex
BibTex
titre
Component Reconfiguration in the Presence of Conflicts
auteur
Roberto Di Cosmo, Jacopo Mauro, Stefano Zacchiroli, Gianluigi Zavattaro
article
ICALP - International Colloquium on Automata, Languages and Programming - 2013, 2013, Riga, Latvia. pp.187-198, ⟨10.1007/978-3-642-39212-2_19⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00909336/file/icalp-2013.pdf BibTex
titre
A compositional semantics for the reversible pi-calculus
auteur
Ioana Domnina Cristescu, Jean Krivine, Daniele Varacca
article
Logic in Computer Science, 2013, New Orleans, United States. pp.388-397, ⟨10.1109/LICS.2013.45⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00840156/file/Rpi.pdf BibTex
titre
A Type System for Components
auteur
Ornela Dardha, Elena Giachino, Michael Lienhardt
article
SEFM - International Conference on Software Engineering and Formal Methods - 2013, 2013, Madrid, Spain. pp.167-181, ⟨10.1007/978-3-642-40561-7_12⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00909310/file/DGL13.pdf BibTex
titre
Aeolus: Mastering the Complexity of Cloud Application Deployment
auteur
Michel Catan, Roberto Di Cosmo, Antoine Eiche, Tudor Alexandru Lascu, Michael Lienhardt, Jacopo Mauro, Ralf Treinen, Stefano Zacchiroli, Gianluigi Zavattaro, Jakub Zwolakowski
article
ESOCC - European Conference on Service-Oriented and Cloud Computing - 2013, 2013, Malaga, Spain. pp.1-3, ⟨10.1007/978-3-642-40651-5_1⟩
Accès au bibtex
BibTex
titre
DeadLock Analysis of Concurrent Objects ― Theory and Practice
auteur
Elena Giachino, Carlo A. Grazia, Cosimo Laneve, Michael Lienhardt, Peter Wong
article
IFM - 10th International Conference on integrated Formal Methods - 2013, 2013, Turku, Finland. pp.394-411, ⟨10.1007/978-3-642-38613-8_27⟩
Accès au bibtex
BibTex

Ouvrage (y compris édition critique et traduction)

titre
Homotopy Type Theory: Univalent Foundations of Mathematics
auteur
Peter Aczel, Benedikt Ahrens, Thorsten Altenkirch, Steve Awodey, Bruno Barras, Andrej Bauer, Yves Bertot, Marc Bezem, Thierry Coquand, Eric Finster, Daniel Grayson, Hugo Herbelin, André Joyal, Dan Licata, Peter Lumsdaine, Assia Mahboubi, Per Martin-Löf, Sergey Melikhov, Alvaro Pelayo, Andrew Polonsky, Michael Shulman, Matthieu Sozeau, Bas Spitters, Benno van den Berg, Vladimir Voevodsky, Michael Warren, Carlo Angiuli, Anthony Bordg, Guillaume Brunerie, Chris Kapulkin, Egbert Rijke, Kristina Sojakova, Jeremy Avigad, Cyril Cohen, Robert Constable, Pierre-Louis Curien, Peter Dybjer, Martín Escardó, Kuen-Bang Hou, Nicola Gambino, Richard Garner, Georges Gonthier, Thomas Hales, Robert Harper, Martin Hofmann, Pieter Hofstra, Joachim Koch, Nicolai Kraus, Nuo Li, Zhaohui Luo, Michael Nahas, Erik Palmgren, Emily Riehl, Dana Scott, Philip Scott, Sergei Soloviev
article
Aucun, pp.448, 2013
Accès au bibtex
BibTex

Rapport

titre
Optimal Provisioning in the Cloud. Technical report of the Aeolus project
auteur
Roberto Di Cosmo, Michaël Lienhardt, Ralf Treinen, Stefano Zacchiroli, Jakub Zwolakowski
article
2013
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00831455/file/zephyrus-tr.pdf BibTex
titre
Component reconfiguration in the presence of conflicts. Technical report of the Aeolus project
auteur
Roberto Di Cosmo, Jacopo Mauro, Stefano Zacchiroli, Gianluigi Zavattaro
article
2013
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00816468/file/icalp-2013.pdf BibTex

Thèse

titre
Syntax and Models of a non-Associative Composition of Programs and Proofs
auteur
Guillaume Munch-Maccagnoni
article
Logic in Computer Science [cs.LO]. Université Paris-Diderot - Paris VII, 2013. English
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00918642/file/these-screen-final.pdf BibTex
titre
PARAMETRIC POLYMORPHISM FOR XML PROCESSING LANGUAGES
auteur
Zhiwu Xu
article
Programming Languages [cs.PL]. Université Paris-Diderot - Paris VII, 2013. English
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00858744/file/main20130613.pdf BibTex

Pré-publication, Document de travail

titre
A method for designing asynchronous probabilistic processes
auteur
Samy Abbes
article
2013
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00878114/file/async.pdf BibTex
titre
Simple simpl
auteur
Pierre Boutillier
article
2013
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00816918/file/ITP13_Boutillier.pdf BibTex
titre
Univalence for free
auteur
Matthieu Sozeau, Nicolas Tabareau
article
2013
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00786589/file/main.pdf BibTex

2012

Article dans une revue

titre
Delimited control operators prove Double-negation Shift
auteur
Danko Ilik
article
Annals of Pure and Applied Logic, Elsevier Masson, 2012, Kurt Goedel Research Prize Fellowships 2010, 163 (11), pp.1549-1559. ⟨10.1016/j.apal.2011.12.008⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00647389/file/article.pdf BibTex
titre
Böhm theorem and Böhm trees for the Lambda-mu-calculus
auteur
Alexis Saurin
article
Theoretical Computer Science, Elsevier, 2012, 435, pp.106-138. ⟨10.1016/j.tcs.2012.02.027⟩
Accès au bibtex
BibTex
titre
Continuation-passing Style Models Complete for Intuitionistic Logic
auteur
Danko Ilik
article
Annals of Pure and Applied Logic, Elsevier Masson, 2012, ⟨10.1016/j.apal.2012.05.003⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00647390/file/intcomp.pdf BibTex
titre
Pure Type System conversion is always typable
auteur
Vincent Siles, Hugo Herbelin
article
Journal of Functional Programming, Cambridge University Press (CUP), 2012, 22 (2), pp.153 - 180. ⟨10.1017/S0956796812000044⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00497177/file/PTSATR.pdf BibTex
titre
Monads with arities and their associated theories
auteur
Clemens Berger, Paul-André Melliès, Mark Weber
article
Journal of Pure and Applied Algebra, Elsevier, 2012, 216 (8-9), pp.2029-2048
Accès au bibtex
https://arxiv.org/pdf/1101.3064 BibTex
titre
Preservation of Strong Normalisation modulo permutations for the structural lambda-calculus
auteur
Beniamino Accattoli, Delia Kesner
article
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2012, 8 (1), pp.44. ⟨10.2168/LMCS-8(1:28)2012⟩
Accès au bibtex
https://arxiv.org/pdf/1203.0670 BibTex
titre
Realizability algebras II : new models of ZF + DC
auteur
Jean-Louis Krivine
article
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2012, 8 (1), pp.10. ⟨10.2168/LMCS-8(1:10)2012⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00497587/file/R_ZF_HAL.pdf BibTex
titre
Partiality and Recursion in Interactive Theorem Provers - An Overview
auteur
Ana Bove, Alexander Krauss, Matthieu Sozeau
article
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00691459/file/main.pdf BibTex
titre
Combinatorial complexity and compositional drift in protein interaction networks.
auteur
Eric J. Deeds, Jean Krivine, Jérôme Feret, Vincent Danos, Walter Fontana
article
PLoS ONE, Public Library of Science, 2012, 7 (3), ⟨10.1371/journal.pone.0032032⟩
Accès au bibtex
BibTex
titre
Higher-dimensional normalisation strategies for acyclicity
auteur
Yves Guiraud, Philippe Malbos
article
Advances in Mathematics, Elsevier, 2012, 231 (3-4), pp.2294-2351. ⟨10.1016/j.aim.2012.05.010⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00531242/file/ktheory.pdf BibTex
titre
On global types and multi-party sessions
auteur
Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Luca Padovani
article
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2012, 8 (1), pp.1-45. ⟨10.2168/LMCS-8(1:24)2012⟩
Accès au bibtex
https://arxiv.org/pdf/1203.0780 BibTex
titre
A relational semantics of parallelism and non-determinism in a functional setting.
auteur
Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzonetto
article
Annals of Pure and Applied Logic, Elsevier Masson, 2012, 163 (7), pp.918-934
Accès au bibtex
BibTex
titre
Reducing Equational Theories for the Decision of Static Equivalence
auteur
Steve Kremer, Antoine Mercier, Ralf Treinen
article
Journal of Automated Reasoning, Springer Verlag, 2012, 48 (2), pp.197-217. ⟨10.1007/s10817-010-9203-0⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00636797/file/KMT-jar10.pdf BibTex
titre
What is a Model for a Semantically Linear Lambda-calculus?
auteur
Marco Gaboardi, Mauro Piccolo
article
Journal of Logic and Computation, Oxford University Press (OUP), 2012, ⟨10.1093/logcom/exs023⟩
Accès au bibtex
BibTex
titre
The Scott model of Linear Logic is the extensional collapse of its relational model
auteur
Thomas Ehrhard
article
Theoretical Computer Science, Elsevier, 2012, 424, pp.20-45. ⟨10.1016/j.tcs.2011.11.027⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00369831/file/relscott.pdf BibTex
titre
Coherence in monoidal track categories
auteur
Yves Guiraud, Philippe Malbos
article
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2012, 22 (6), pp.931-969. ⟨10.1017/S096012951100065X⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00470795/file/cohe.pdf BibTex
titre
A relational semantics for parallelism and non-determinism in a functional setting
auteur
Thomas Ehrhard, Antonio Bucciarelli, Giulio Manzonetto
article
Annals of Pure and Applied Logic, Elsevier Masson, 2012, 163 (7), pp.918-934. ⟨10.1016/j.apal.2011.09.008⟩
Accès au bibtex
BibTex
titre
An approach to innocent strategies as graphs
auteur
Pierre-Louis Curien, Claudia Faggian
article
Information and Computation, Elsevier, 2012, 214, pp.119-155
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00155293/file/inets.pdf BibTex

Communication dans un congrès

titre
Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models
auteur
Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jonathan Hayman, Jean Krivine, Chris Thompson-Walsh, Glynn Winskel
article
FSTTCS 2012 - IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Dec 2012, Hyderabad, India. pp.276-288, ⟨10.4230/LIPIcs.FSTTCS.2012.276⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00809065/file/fsttcs.pdf BibTex
titre
Indexed realizability for bounded-time programming with references and type fixpoints
auteur
Aloïs Brunel, Antoine Madet
article
10th Asian Symposium on Programming Languages and Systems, Dec 2012, Kyoto, Japan. pp.264-279
Accès au bibtex
https://arxiv.org/pdf/1206.4833 BibTex
titre
Models of Tet-On System with Epigenetic Effects
auteur
Russ Harmer, Jean Krivine, Élise Laruelle, Cédric Lhoussaine, Guillaume Madelaine, Mirabelle Nebut
article
Computational Methods in Systems Biology 2012 (CMSB 2012, Flashposter), Oct 2012, London, United Kingdom. pp.378
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00725553/file/0.pdf BibTex
titre
Towards a Formal Component Model for the Cloud
auteur
Roberto Di Cosmo, Stefano Zacchiroli, Gianluigi Zavattaro
article
10th International Conference Software Engineering and Formal Methods (SEFM 2012), Oct 2012, Thessaloniki, Greece. pp.156--171
Accès au bibtex
BibTex
titre
A polynomial time λ-calculus with multithreading and side effects
auteur
Antoine Madet
article
14th International Symposium on Principles and Practice of Declarative Programming, Sep 2012, Leuven, Belgium. pp.55-66, ⟨10.1145/2370776.2370785⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00735544/file/ppdp19-madet.pdf BibTex
titre
Collapsing non-idempotent intersection types
auteur
Thomas Ehrhard
article
The annual conference of the European Association for Computer Science Logic, Sep 2012, Fontaineblau, France. pp.1-15
Accès au bibtex
BibTex
titre
Interactive Realizability for Classical Peano Arithmetic with Skolem Axioms
auteur
Federico Aschieri
article
Computer Science Logic 2012, Sep 2012, Fontainebleau, France. ⟨10.4230/LIPIcs.CSL.2012.31⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00685360/file/RealizabilityPAfull.pdf BibTex
titre
Certifying and reasoning on cost annotations in C programs
auteur
Nicolas Ayache, Roberto Amadio, Yann Régis-Gianas
article
FMICS 2012 - 17th International Workshop on Formal Methods for Industrial Critical Systems, Aug 2012, Paris, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00702665/file/ccac-fmics-final.pdf BibTex
titre
Eliminating Skolem Functions in Peano Arithmetic with Interactive Realizability
auteur
Federico Aschieri, Margherita Zorzi
article
Classical Logic and Computation 2012, Jul 2012, Warwick, United Kingdom. ⟨10.4204/EPTCS.97.1⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00690270/file/ConservativeSKFull.pdf BibTex
titre
Learning from the Future of Component Repositories
auteur
Pietro Abate, Roberto Di Cosmo, Ralf Treinen, Stefano Zacchiroli
article
15th International ACM SIGSOFT Symposium on Component Based Software Engineering (CBSE-2012), ACM, Jun 2012, Bertinoro, Italy
Accès au bibtex
BibTex
titre
A Constructive Proof of Dependent Choice, Compatible with Classical Logic
auteur
Hugo Herbelin
article
LICS 2012 - 27th Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2012, Dubrovnik, Croatia. pp.365-374
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00697240/file/Herbelin-lics12.pdf BibTex
titre
Game semantics in string diagrams
auteur
Paul-André Melliès
article
Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2012), Jun 2012, Dubrovnik, Croatia
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00721662/file/mellies-lics-2012-final-version-times.pdf BibTex
titre
Extending Type Theory with Forcing
auteur
Guilhem Jaber, Nicolas Tabareau, Matthieu Sozeau
article
LICS 2012 : Logic In Computer Science, Jun 2012, Dubrovnik, Croatia. pp.0-0
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00685150/file/forcing_lics.pdf BibTex
titre
A "minimal disruption" skeleton experiment: seamless map & reduce embedding in OCaml
auteur
Marco Danelutto, Roberto Di Cosmo
article
International Conference on Computational Science, Jun 2012, Omaha, United States. pp.1837-1846, ⟨10.1016/j.procs.2012.04.202⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00692515/file/parmap-author-file.pdf BibTex
titre
Why Do Software Packages Conflict?
auteur
Cyrille Artho, Roberto Di Cosmo, Kuniyasu Suzaki, Ralf Treinen, Stefano Zacchiroli
article
9th Working Conference on Mining Software Repositories, Jun 2012, Zurich, Switzerland
Accès au bibtex
BibTex
titre
Axiomatic Sharing-via-Labelling
auteur
Thibaut Balabonski
article
23rd International Conference on Rewriting Techniques and Applications, RTA 2012, May 2012, Japan. pp.Unknown
Accès au bibtex
BibTex
titre
Classical call-by-need sequent calculi : The unity of semantic artifacts
auteur
Zena Ariola, Paul Downen, Hugo Herbelin, Keiko Nakata, Alexis Saurin
article
FLOPS 2012 - 11th International Symposium on Functional and Logic Programming, May 2012, Kobe, Japan. pp.32-46, ⟨10.1007/978-3-642-29822-6⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00697241/file/classical-need-artifacts.pdf BibTex
titre
How to Run your Favorite Language in Web Browsers
auteur
Benjamin Canou, Emmanuel Chailloux, Jérôme Vouillon
article
WWW2012 - International World Wide Web Conference, dev track, Apr 2012, Lyon, France
Accès au bibtex
BibTex
titre
Executable Knowledge
auteur
Russ Harmer
article
Systems Biology and Formal Methods, Apr 2012, New York, United States
Accès au bibtex
BibTex
titre
Client-server Web applications with Ocsigen
auteur
Vincent Balat, Pierre Chambart, Grégoire Henry
article
WWW2012, Apr 2012, Lyon, France. pp.59
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00691710/file/www2012-ocsigen.pdf BibTex
titre
Event structure semantics of the parallel extrusion in the pi-calculus
auteur
Silvia Crafa, Daniele Varacca, Nobuko Yoshida
article
FOSSACS 2012, Mar 2012, Tallinn, Estonia. pp.225-239, ⟨10.1007/978-3-642-28729-9_15⟩
Accès au bibtex
BibTex
titre
The permutative lambda calculus
auteur
Beniamino Accattoli, Delia Kesner
article
18th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning - LPAR-18, Mar 2012, Merida, Venezuela
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00780361/file/LPAR2012.pdf BibTex
titre
A relaxation of Coq's guard condition
auteur
Pierre Boutillier
article
JFLA - Journées Francophones des langages applicatifs - 2012, Feb 2012, Carnac, France. pp.1 - 14
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00651780/file/boutillier.pdf BibTex
titre
Coq avec Classes
auteur
Matthieu Sozeau
article
JFLA - Journées Françaises des Langages Applicatifs, Feb 2012, Carnac, France
Accès au bibtex
BibTex
titre
Safe Incremental Type Checking
auteur
Matthias Puech, Yann Régis-Gianas
article
TLDI 2012 - Seventh ACM SIGPLAN Workshop on Types in Language Design and Implementation, Jan 2012, Philadelphia, United States
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00650341/file/abstract.pdf BibTex
titre
A Unified Approach to Fully Lazy Sharing
auteur
Thibaut Balabonski
article
39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2012, Jan 2012, United States. pp.469-480
Accès au bibtex
BibTex
titre
Normalisation for Dynamic Pattern Calculi
auteur
Eduardo Bonelli, Delia Kesner, Carlos Lombardi, Alejandro Ríos
article
International Conference on Rewriting Techniques and Applications (RTA), 2012, Nagoya, Japan. 16 p
Accès au bibtex
BibTex
titre
A Beginner's Guide to the DeadLock Analysis Model
auteur
Elena Giachino, Cosimo Laneve
article
TGC, 2012, Newcastle, United Kingdom. pp.49-63
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00909309/file/TGC.pdf BibTex
titre
Session types revisited
auteur
Ornela Dardha, Elena Giachino, Davide Sangiorgi
article
Principles and Practice of Declarative Programming, PPDP'12, 2012, Unknown, pp.139--150
Accès au bibtex
BibTex
titre
The permutative lambda-calculus
auteur
Beniamino Accattoli, Delia Kesner
article
International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR), 2012, Mérida, Venezuela. pp.Pages 23-36
Accès au bibtex
BibTex
titre
A verification technique for reversible process algebra
auteur
Jean Krivine
article
Fourth international workshop on reversible computation (RC 2012), 2012, Copenhagen, Denmark
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00697549/file/rc2012.pdf BibTex

Autre publication

titre
Forcing in Coq
auteur
Matthieu Sozeau, Nicolas Tabareau, Guilhem Jaber
article
2012
Accès au bibtex
BibTex
titre
A gentle introduction to type classes and relations in Coq
auteur
Pierre Castéran, Matthieu Sozeau
article
2012
Accès au bibtex
BibTex
titre
Information Flow and Its Applications
auteur
Samson Abramsky, Jean Krivine, Michael W. Mislove
article
2012, ⟨10.4230/DagRep.2.8.555⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00785043/file/dagstuhl_report.pdf BibTex

Rapport

titre
Distributed System Administration Technologies a State of the Art
auteur
Jakub Zwolakowski
article
[Technical Report] Paris 7; Inria. 2012
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01100023/file/main.pdf BibTex
titre
Lambda-lifting and CPS conversion in an imperative language
auteur
Gabriel Kerneis, Juliusz Chroboczek
article
2012
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00669849/file/TR-Kerneis-Chroboczeck-2012.pdf BibTex

Thèse

titre
Complexité Implicite de Lambda-Calculs Concurrents
auteur
Antoine Madet
article
Programming Languages [cs.PL]. Université Paris-Diderot - Paris VII, 2012. English
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00794977/file/thesis.pdf BibTex
titre
Continuation-Passing C: Program Transformations for Compiling Concurrency in an Imperative Language
auteur
Gabriel Kerneis
article
Programming Languages [cs.PL]. Université Paris-Diderot - Paris VII, 2012. English
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00751444/file/kerneis-phd-thesis.pdf BibTex
titre
Déterminisme et Confluence dans des systèmes concurrents et synchrones
auteur
Mehdi Dogguy
article
Calcul formel [cs.SC]. Université Paris-Diderot - Paris VII, 2012. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00690512/file/TheseMehdiDogguy.pdf BibTex

Pré-publication, Document de travail

titre
Generating events with style
auteur
Matthieu Boutier, Gabriel Kerneis
article
2012
Accès au texte intégral et bibtex
https://hal-univ-paris.archives-ouvertes.fr/hal-00742098/file/kerneis-boutier-2013.pdf BibTex
titre
On the discriminating power of tests in resource lambda-calculus
auteur
Flavien Breuvart
article
2012
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00698609/file/article.pdf BibTex
titre
Interactive Realizability for Second-Order Heyting Arithmetic with EM1 and SK1
auteur
Federico Aschieri
article
2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00657054/file/RealizersHASEM1final.pdf BibTex
titre
Minimal lambda-theories by ultraproducts
auteur
Alberto Carraro, Antonino Salibra, Antonio Bucciarelli
article
2012
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00710340/file/0-main.pdf BibTex
titre
Decidability of All Minimal Models (Revised Version - 2012)
auteur
Vincent Padovani
article
2012
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00741219/file/minmod_padovani_2012.pdf BibTex

2011

Article dans une revue

titre
Supporting software evolution in component-based FOSS systems.
auteur
Roberto Di Cosmo, Davide Di Ruscio, Patrizio Pelliccione, Alfonso Pierantonio, Stefano Zacchiroli
article
Science of Computer Programming, Elsevier, 2011, 76 (12), pp.1144-1160. ⟨10.1016/j.scico.2010.11.001⟩
Accès au bibtex
BibTex
titre
Visible acyclic differential nets, Part I: Semantics
auteur
Michele Pagani
article
Annals of Pure and Applied Logic, Elsevier Masson, 2011, 163 (3), pp.238-265. ⟨10.1016/j.apal.2011.09.001⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00698973/file/vacnet.pdf BibTex
titre
Continuation-Passing C: compiling threads to events through continuations
auteur
Gabriel Kerneis, Juliusz Chroboczek
article
Higher-Order and Symbolic Computation, Springer Verlag, 2011, 24 (3), pp.239-279. ⟨10.1007/s10990-012-9084-5⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00537964/file/hosc-kerneis-chroboczek.pdf BibTex
titre
Realizability algebras: a program to well order R
auteur
Jean-Louis Krivine
article
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2011, 7 (3), pp.1-47
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00483232/file/Well_order_HAL.pdf BibTex
titre
Towards a homotopy theory of higher dimensional transition systems
auteur
Philippe Gaucher
article
Theory and Applications of Categories, Mount Allison University, 2011, 25 (12), pp.295-341
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00532852/file/cubicalhdts.pdf BibTex
titre
A semantic measure of the execution time in linear logic
auteur
Michele Pagani
article
Theoretical Computer Science, Elsevier, 2011, 412 (20), pp.1884-1902. ⟨10.1016/j.tcs.2010.12.017⟩
Accès au bibtex
BibTex
titre
Probabilistic coherence spaces as a model of higher- order probabilistic computation
auteur
Thomas Ehrhard, Vincent Danos
article
Information and Computation, Elsevier, 2011, 152 (1), pp.111-137
Accès au bibtex
BibTex
titre
A prismoid framework for languages with resources
auteur
Delia Kesner, Fabien Renaud
article
Theoretical Computer Science, Elsevier, 2011, 412 (37), pp.4867-4892. ⟨10.1016/j.tcs.2011.01.026⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00625598/file/main.pdf BibTex
titre
A Solution to the POPLMARK Challenge Based on de Bruijn Indices
auteur
Jérôme Vouillon
article
Journal of Automated Reasoning, Springer Verlag, 2011, pp.1-36. ⟨10.1007/s10817-011-9230-5⟩
Accès au bibtex
BibTex
titre
Preface to Girard's Festschrift
auteur
Pierre-Louis Curien
article
Theoretical Computer Science, Elsevier, 2011, 412 (20), pp.1853-1859
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00551737/file/girard-preface.pdf BibTex
titre
Enforcing Type-Safe Linking using Inter-Package Relationships
auteur
Mehdi Dogguy, Stephane Glondu, Sylvain Le Gall, Stefano Zacchiroli
article
Studia Informatica Universalis, Hermann, 2011, 9 (1), pp.129-157
Accès au bibtex
BibTex
titre
Ludics with repetitions (Exponentials, Interactive types and Completeness)
auteur
Claudia Faggian, Michele Basaldella
article
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2011, 7 (2), pp.1-85. ⟨10.2168/LMCS-7(2:13)2011⟩
Accès au bibtex
https://arxiv.org/pdf/1104.0504 BibTex
titre
The Brown-Golasinski model structure on strict $\infty$-groupoids revisited
auteur
Dimitri Ara, François Métayer
article
Homology, Homotopy and Applications, 2011, 13 (1), pp.121-142
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00525842/file/article.pdf BibTex
titre
Realizability Proof for Normalization of Full Differential Linear Logic
auteur
Stéphane Gimenez
article
Lecture Notes in Computer Science, Springer, 2011, 6690, pp.107-122. ⟨10.1007/978-3-642-21691-6_11⟩
Accès au bibtex
BibTex

Communication dans un congrès

titre
Higher Categories and Rewriting
auteur
François Métayer
article
Operads and Rewriting, Nov 2011, Lyon, France
Accès au bibtex
BibTex
titre
Sources of Inter-package Conflicts in Debian
auteur
Cyrille Artho, Roberto Di Cosmo, Kuniyasu Suzaki, Stefano Zacchiroli
article
LoCoCo 2011 International Workshop on Logics for Component Configuration, Sep 2011, Perugia, Italy. pp.1-9
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00628589/file/main.pdf BibTex
titre
Resource Lambda-Calculus: the Differential Viewpoint
auteur
Thomas Ehrhard
article
Computer Science Logic (CSL'11), Sep 2011, Bergen, Norway. pp.1-1, ⟨10.4230/LIPIcs.CSL.2011.1⟩
Accès au bibtex
BibTex
titre
Aligning component upgrades
auteur
Roberto Di Cosmo, Olivier Lhomme, Claude Michel
article
Logics for Component Configuration, Sep 2011, Perugia, Italy. pp.1-11, ⟨10.4204/EPTCS.65.1⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00622830/file/criteria.pdf BibTex
titre
Full Abstraction for Resource Calculus with Tests
auteur
Thomas Ehrhard, Antonio Bucciarelli, Alberto Carraro, Giulio Manzonetto
article
Computer Science Logic (CSL'11), Sep 2011, Bergen, Norway. pp.97-111, ⟨10.4230/LIPIcs.CSL.2011.97⟩
Accès au bibtex
BibTex
titre
On software component co-installability
auteur
Jérôme Vouillon, Roberto Di Cosmo
article
ESEC/FSE, Sep 2011, France. pp.n-a, ⟨10.1145/2025113.2025149⟩
Accès au bibtex
BibTex
titre
Set-theoretic foundation of parametric polymorphism and subtyping
auteur
Giuseppe Castagna, Zhiwu Xu
article
ICFP '11: 16th ACM-SIGPLAN International Conference on Functional Programming, Sep 2011, Tokyo, Japan
Accès au bibtex
BibTex
titre
Ludics with Repetitions (Exponentials, Interactive Types and Completeness).
auteur
Claudia Faggian, Michele Basaldella
article
IEEE Symposium on Logic in Computer Science, Aug 2011, Los Angeles, United States. pp.375-384
Accès au bibtex
BibTex
titre
Ludics Nets, a game Model of Concurrent Interaction
auteur
Claudia Faggian, François Maurel
article
LOGIC IN COMPUTER SCIENCE (LICS 2005), Jun 2011, Chicago, United States. pp.376-385
Accès au bibtex
BibTex
titre
The computational meaning of probabilistic coherent spaces
auteur
Thomas Ehrhard, Michele Pagani, Christine Tasson
article
Logic in Computer Science (LICS), Jun 2011, Toronto, ON, Canada. pp.87 - 96, ⟨10.1109/LICS.2011.29⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00627490/file/05970206.pdf BibTex
titre
Continuous Random Variables
auteur
Jean Goubault-Larrecq, Daniele Varacca
article
IEEE symposium of Logic In Computer Science, Jun 2011, Toronto, Canada. pp.97-106
Accès au bibtex
BibTex
titre
MPM : a modular package manager
auteur
Pietro Abate, Roberto Di Cosmo, Ralf Treinen, Stefano Zacchiroli
article
14th International ACM SIGSOFT Symposium on Component Based Software Engineering (CBSE-2011), ACM, Jun 2011, Boulder, CO, United States. ⟨10.1145/2000229.2000255⟩
Accès au bibtex
BibTex
titre
On global types and multi-party sessions
auteur
Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Luca Padovani
article
13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE), Jun 2011, Reykjavik, Iceland. pp.1-28, ⟨10.1007/978-3-642-21461-5_1⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00618814/file/978-3-642-21461-5_1_Chapter.pdf BibTex
titre
Fair Subtyping for Multi-Party Session Types
auteur
Luca Padovani
article
13th Conference on Coordination Models and Languages (COORDINATION), Jun 2011, Reykjavik, Iceland. pp.127-141, ⟨10.1007/978-3-642-21464-6_9⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00546531/file/main.pdf BibTex
titre
Classical Call-by-need and duality
auteur
Zena Ariola, Hugo Herbelin, Alexis Saurin
article
TLCA 2011 - Typed Lambda Calculi and Applications, Silvia Ghilezan, Jun 2011, Novi Sad, Serbia. pp.27-44, ⟨10.1007/978-3-642-21691-6_6⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00630156/file/tlca.pdf BibTex
titre
An Elementary Affine λ-Calculus with Multithreading and Side Effects
auteur
Antoine Madet, Roberto M. Amadio
article
Typed Lambda Calculi and Applications 10th International Conference, Jun 2011, Novi Sad, Serbia. pp.138-152, ⟨10.1007/978-3-642-21691-6_13⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00610012/file/ealregpar.pdf BibTex
titre
CPC: programming with a massive number of lightweight threads
auteur
Gabriel Kerneis, Juliusz Chroboczek
article
PLACES'11, Apr 2011, Saarbrücken, Germany. pp. 30--34
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00563369/file/cpc-places-2011.pdf BibTex
titre
Predicting upgrade failures using dependency analysis.
auteur
Pietro Abate, Roberto Di Cosmo
article
icdew, Apr 2011, France. pp.145-150, ⟨10.1109/ICDEW.2011.5767626⟩
Accès au bibtex
BibTex
titre
Multiple Congruence Relations, First-Order Theories on Terms, and the Frames of the Applied Pi-Calculus
auteur
Florent Jacquemard, Etienne Lozes, Ralf Treinen, Jules Villard
article
Theory of Security and Applications (TOSCA, joint workshop affiliated to ETAPS), Mar 2011, Saarbrücken, Germany. pp.166-185, ⟨10.1007/978-3-642-27375-9⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00578896/file/tosca.pdf BibTex
titre
Estimation of the length of interactions in arena game semantics
auteur
Pierre Clairambault
article
Foundations of Software Science and Computational Structures 14th International Conference, FOSSACS 2011, Mar 2011, Saarbrücken, Germany. pp.335-349, ⟨10.1007/978-3-642-19805-2_23⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00651555/file/fossacs2011.pdf BibTex
titre
Towards a Homotopy Theory of Higher Dimensional Transition Systems
auteur
Philippe Gaucher
article
Séminaire Itinérant de Catégories, Mar 2011, Paris, France
Accès au bibtex
BibTex
titre
On Multiplicative Linear Logic, Modality and Quantum Circuits
auteur
Ugo Dal Lago, Claudia Faggian
article
Quantum Physics and Logic, 2011, Netherlands. pp.81-96
Accès au bibtex
BibTex
titre
Full abstraction for a resource calculus with tests
auteur
Antonio Bucciarelli, Alberto Carraro, Thomas Ehrhard, Giulio Manzonetto
article
Computer Science Logic, 2011, Bergen, Norway. pp.97-111
Accès au bibtex
BibTex
titre
Formal Cellular Machinery
auteur
Troels C. Damgaard, Espen Hojsgaard, Jean Krivine
article
SASB 2011, 2011, Venice, Italy. pp.55-74, ⟨10.1016/j.entcs.2012.05.015⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00692416/file/fcm.pdf BibTex
titre
Client-server Web applications with Eliom
auteur
Vincent Balat
article
Ocaml Meeting 2011, 2011, France
Accès au bibtex
BibTex

Direction d'ouvrage, Proceedings, Dossier

titre
Proceedings Second Workshop on Logics for Component Configuration
auteur
Conrad Drescher, Ines Lynce, Ralf Treinen
article
Conrad Drescher and Ines Lynce and Ralf Treinen. 65, Electronic Proceedings in Theoretical Computer Science, pp.1--45, 2011, 2075-2180. ⟨10.4204/EPTCS.65⟩
Accès au bibtex
https://arxiv.org/pdf/1108.6097 BibTex
titre
Girard's Festschrift, Theoretical Computer Science (Volume 412, Issue 20)
auteur
Thomas Ehrhard, Claudia Faggian, Olivier Laurent
article
Elsevier, pp.240, 2011
Accès au bibtex
BibTex

Autre publication

titre
Programmation de droite à gauche
auteur
Pascal Manoury
article
2011
Accès au bibtex
BibTex
titre
The Babel Routing Protocol
auteur
Juliusz Chroboczek
article
2011
Accès au bibtex
BibTex
titre
ℂDuce User's Manual
auteur
Véronique Benzaken, Giuseppe Castagna, Julien Demouth, Alain Frisch, Cédric Miachon, Kim Nguyen, Stefano Zacchiroli
article
2011
Accès au bibtex
BibTex

Rapport

titre
A Unified Approach to Fully Lazy Sharing
auteur
Thibaut Balabonski
article
2011
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00637048/file/Balabonski-FullyLazySharing-Long.pdf BibTex
titre
Distributed Markov Processes
auteur
Samy Abbes
article
2011
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00631501/file/mkd.pdf BibTex
titre
Proofs as Tree Languages
auteur
Stefan Hetzl
article
2011
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00613713/file/ptl_20110804.pdf BibTex
titre
Mancoosi Deliverable D5.4: Report on the international competition
auteur
Pietro Abate, Ralf Treinen
article
[Research Report] 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00698967/file/d5.4.pdf BibTex
titre
An Elementary affine λ-calculus with multithreading and side effects (extended version)
auteur
Antoine Madet, Roberto M. Amadio
article
2011
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00569095/file/rapport.pdf BibTex
titre
Mancoosi Deliverable D5.3: UPDB infrastructure to collect traces of upgradeability problems in CUDF format
auteur
Pietro Abate, Ralf Treinen
article
[Research Report] 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00698968/file/d5.3.pdf BibTex
titre
A decompilation of the pi-calculus and its application to termination
auteur
Roberto Amadio
article
2011
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00565222/file/hal.pdf BibTex

Thèse

titre
Les ressources explicites vues par la théorie de la réécriture.
auteur
Fabien Renaud
article
Théorie et langage formel [cs.FL]. Université Paris-Diderot - Paris VII, 2011. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00697408/file/version_definitive.pdf BibTex
titre
Typer la désérialisation sans sérialiser les types
auteur
Grégoire Henry
article
Autre [cs.OH]. Université Paris-Diderot - Paris VII, 2011. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00624156/file/these.pdf BibTex
titre
A formal study of Free Software distributions
auteur
Jaap Boender
article
Operating Systems [cs.OS]. Université Paris-Diderot - Paris VII, 2011. English. ⟨NNT : 2011PA077019⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00698622/file/main.pdf BibTex

Pré-publication, Document de travail

titre
From delimited CPS to polarisation
auteur
Guillaume Munch-Maccagnoni
article
2011
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00587597/file/lkpol_delimited.pdf BibTex
titre
A 2-Categorical Analysis of the Tripos-to-Topos Construction
auteur
Jonas Frey
article
2011
Accès au bibtex
https://arxiv.org/pdf/1104.2776 BibTex
titre
Order Theory for Big-Step Semantics
auteur
Jérôme Vouillon
article
2011
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00782145/file/cbn.pdf BibTex
titre
Reasoning on Assembly Code using Linear Logic
auteur
Jérôme Vouillon
article
2011
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00782149/file/sep.pdf BibTex
titre
On Software Component Co-Installability (extended version)
auteur
Jérôme Vouillon, Roberto Di Cosmo
article
2011
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00605491/file/main.pdf BibTex
titre
Metaconfluence of λj: dealing with non-deterministic replacements
auteur
Fabien Renaud
article
2011
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00926488/file/lambdaj_mconf-1.pdf BibTex

2010

Article dans une revue

titre
Directed algebraic topology and higher dimensional transition system
auteur
Philippe Gaucher
article
New York Journal of Mathematics, Electronic Journals Project, 2010, 16, pp.409-461
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00495670/file/HDAparadigm.pdf BibTex
titre
Game semantics for first-order logic
auteur
Olivier Laurent
article
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2010, 6 (4), pp.3. ⟨10.2168/LMCS-6(4:3)2010⟩
Accès au bibtex
https://arxiv.org/pdf/1009.4400 BibTex
titre
Acyclic Solos and Differential Interaction Nets
auteur
Thomas Ehrhard, Olivier Laurent
article
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2010, 6 (3), pp.11. ⟨10.2168/LMCS-6(3:11)2010⟩
Accès au bibtex
https://arxiv.org/pdf/1007.0120 BibTex
titre
Kripke Models for Classical Logic
auteur
Danko Ilik, Gyesik Lee, Hugo Herbelin
article
Annals of Pure and Applied Logic, Elsevier Masson, 2010, Special Issue: Classical Logic and Computation (2008), 161 (11), pp.1367-1378. ⟨10.1016/j.apal.2010.04.007⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00371959/file/classical_kripke_rev3.pdf BibTex
titre
Typing streams in the $\Lambda\mu$-calculus
auteur
Alexis Saurin
article
ACM Transactions on Computational Logic, Association for Computing Machinery, 2010, 11 (4), pp.28-61. ⟨10.1145/1805950.1805958⟩
Accès au bibtex
BibTex
titre
Using strong conflicts to detect quality issues in component-based complex systems
auteur
Roberto Di Cosmo, Jaap Boender
article
ISEC '10: Proceedings of the 3rd India software engineering conference, 2010, pp.163--172. ⟨10.1145/1730874.1730905⟩
Accès au bibtex
BibTex
titre
A folk model structure on omega-cat
auteur
Yves Lafont, François Métayer, Krzysztof Worytkiewicz
article
Advances in Mathematics, Elsevier, 2010, 224 (3), pp.1183-1231. ⟨10.1016/j.aim.2010.01.007⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00395898/file/folkms.pdf BibTex
titre
Interpreting a finitary pi-calculus in differential interaction nets
auteur
Thomas Ehrhard, Olivier Laurent
article
Information and Computation, Elsevier, 2010, 208 (6), pp.606--633. ⟨10.1016/j.ic.2009.06.005⟩
Accès au bibtex
BibTex
titre
An exact correspondence between a typed pi-calculus and polarised proof-nets
auteur
Kohei Honda, Olivier Laurent
article
Theoretical Computer Science, Elsevier, 2010, 411 (22--24), pp.2223--2238. ⟨10.1016/j.tcs.2010.01.028⟩
Accès au bibtex
BibTex
titre
On the form of witness terms
auteur
Stefan Hetzl
article
Archive for Mathematical Logic, Springer Verlag, 2010, 49 (5), pp.529-554. ⟨10.1007/s00153-010-0186-7⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00498696/file/formwitness.pdf BibTex
titre
Typed Event Structures and the linear pi-calculus
auteur
Daniele Varacca, Nobuko Yoshida
article
Theoretical Computer Science, Elsevier, 2010, 411 (19), pp.1949-1973
Accès au bibtex
BibTex
titre
Combinatorics of labelling in higher dimensional automata
auteur
Philippe Gaucher
article
Theoretical Computer Science, Elsevier, 2010, 411 (11-13), pp.1452-1483. ⟨10.1016/j.tcs.2009.11.013⟩
Accès au bibtex
https://arxiv.org/pdf/0808.1667 BibTex
titre
Resource modalities in tensor logic
auteur
Paul-André Melliès, Nicolas Tabareau
article
Annals of Pure and Applied Logic, Elsevier Masson, 2010, 161 (5), pp.632-653. ⟨10.1016/j.apal.2009.07.018⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00339154/file/resource-modalities-apal.pdf BibTex
titre
On isomorphisms of intersection types
auteur
Roberto Di Cosmo, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Tatsuta Makoto
article
ACM Transactions on Computational Logic, Association for Computing Machinery, 2010, 11 (4), pp.1-24. ⟨10.1145/1805950.1805955⟩
Accès au bibtex
BibTex
titre
Proof and Refutation in MALL as a game
auteur
Olivier Delande, Dale Miller, Alexis Saurin
article
Annals of Pure and Applied Logic, Elsevier Masson, 2010, 161 (5), pp.654-672. ⟨10.1016/j.apal.2009.07.017⟩
Accès au bibtex
BibTex
titre
Intrinsic Information carriers in combinatorial dynamical systems
auteur
Russ Harmer, Vincent Danos, Jérôme Feret, Jean Krivine, Walter Fontana
article
Chaos: An Interdisciplinary Journal of Nonlinear Science, American Institute of Physics, 2010, 20 (3), pp.037108. ⟨10.1063/1.3491100⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00520128/file/Dan_etal10b.pdf BibTex

Communication dans un congrès

titre
The Duality of Computation under Focus
auteur
Pierre-Louis Curien, Guillaume Munch-Maccagnoni
article
6th IFIP TC 1/WG 2.2 International Conference on Theoretical Computer Science (TCS) / Held as Part of World Computer Congress (WCC), Sep 2010, Brisbane, Australia. pp.165-181, ⟨10.1007/978-3-642-15240-5_13⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00491236/file/03230167.pdf BibTex
titre
Feature Diagrams as Package Dependencies
auteur
Roberto Di Cosmo, Stefano Zacchiroli
article
14th International Conference, SPLC 2010, Sep 2010, Jeju Island, South Korea. pp.476-480, ⟨10.1007/978-3-642-15579-6_40⟩
Accès au bibtex
BibTex
titre
A topological definition of fairness
auteur
Daniele Varacca
article
EXPRESS, Sep 2010, Paris, France
Accès au bibtex
BibTex
titre
Counterexamples in Probabilistic LTL Model Checking
auteur
Matthias Schmalz, Daniele Varacca, Hagen Völzer
article
FOSSACS, Sep 2010, Bologna, Italy. pp.587-602
Accès au bibtex
BibTex
titre
A Geometric Approach to the Problem of Unique Decomposition of Processes
auteur
Thibaut Balabonski, Emmanuel Haucourt
article
CONCUR5 2010 - Concurrency Theory, Aug 2010, Paris, France. pp.132-146
Accès au bibtex
BibTex
titre
Exponentials with Infinite Multiplicities
auteur
Thomas Ehrhard, Alberto Carraro, Antonino Salibra
article
Computer Science Logic, 24th International Workshop, CSL 2010, Aug 2010, Brno, Czech Republic. pp.170-184
Accès au bibtex
BibTex
titre
A Sequent Calculus with Implicit Term Representation
auteur
Stefan Hetzl
article
Computer Science Logic (CSL) 2010, Aug 2010, Brno, Czech Republic. pp.N/A
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00498707/file/seqcalctermrep.pdf BibTex
titre
The structural lambda-calculus
auteur
Beniamino Accattoli, Delia Kesner
article
Annual Conference on Computer Science and Logic (CSL), Aug 2010, Brno, Czech Republic. pp.381-395
Accès au bibtex
BibTex
titre
Resource Combinatory Algebras
auteur
Alberto Carraro, Thomas Ehrhard, Antonino Salibra
article
Mathematical Foundations of Computer Science 2010, 35th International Symposium, MFCS 2010, Aug 2010, Brno, Czech Republic. pp.233-245
Accès au bibtex
BibTex
titre
The Prismoid of Resources
auteur
Delia Kesner, Fabien Renaud
article
Mathematical Foundations of Computer Science, Aug 2010, Novy Smokovec, Slovakia. pp.464-476
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00519503/file/submission-mfcs-19-04-2009.pdf BibTex
titre
Optimality for Dynamic Patterns
auteur
Thibaut Balabonski
article
Principles and Practice of Declarative Programming 2010, Jul 2010, Hagenberg, Austria. pp.231-241
Accès au bibtex
BibTex
titre
On the Implementation of Dynamic Patterns
auteur
Thibaut Balabonski
article
International Workshop on Higher-Order Rewriting 2010, Jul 2010, Edinburgh, United Kingdom. pp.29-33
Accès au bibtex
BibTex
titre
Segal condition meets computational effects
auteur
Paul-André Melliès
article
Logic in Computer Science (LICS), Jul 2010, Edinburgh, United Kingdom
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00702065/file/segal.pdf BibTex
titre
Polarity and the Logic of Delimited Continuations
auteur
Noam Zeilberger
article
25th Annual IEEE Symposium on Logic in Computer Science (LICS 2010), Jul 2010, Edinburgh, United Kingdom. pp.219 - 227, ⟨10.1109/LICS.2010.23⟩
Accès au bibtex
BibTex
titre
Equality is typable in Semi-Full Pure Type Systems
auteur
Vincent Siles, Hugo Herbelin
article
Logic In Computer Science - LICS 2010, Jul 2010, Edinburgh, United Kingdom. 10 p
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00496988/file/herbelin.siles.LICS2010.pdf BibTex
titre
A finiteness structure on resource terms
auteur
Thomas Ehrhard
article
25th Annual IEEE Symposium on Logic in Computer Science, LICS 2010, Jul 2010, Edinburgh, United Kingdom. pp.402-410, ⟨10.1109/LICS.2010.38⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00448431/file/finres.pdf BibTex
titre
An intuitionistic logic that proves Markov's principle
auteur
Hugo Herbelin
article
Logic In Computer Science, Jul 2010, Edinburgh, United Kingdom. pp.50-56
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00481815/file/herbelin.LICS2010.pdf BibTex
titre
Towards typed repositories of proofs
auteur
Matthias Puech, Yann Régis-Gianas
article
Mathematically Intelligent Proof Search - MIPS 2010, Jul 2010, Paris, France
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00525874/file/puech-regis-gianas-mips-2010.pdf BibTex
titre
An affine-intuitionistic system of types and effects: confluence and termination
auteur
Roberto M. Amadio, Patrick Baillot, Antoine Madet
article
Workshop LOLA "Syntax and Semantics of Low Level Languages", Jul 2010, Edimbourg, United Kingdom
Accès au bibtex
BibTex
titre
Operads, clones, and distributive laws
auteur
Pierre-Louis Curien
article
Operads and Universal Algebra : Proceedings of China-France Summer Conference, Jul 2010, Tianjin, China. pp.25-50
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00697065/file/Operads-PLC.pdf BibTex
titre
Rule-based modeling of cellular signaling
auteur
Russ Harmer
article
6th International Workshop on 'Developments in Computational Models' (DCM), Jul 2010, Edinburgh, United Kingdom
Accès au bibtex
BibTex
titre
Elaborations in Type Theory
auteur
Matthieu Sozeau
article
DTP'10 - Dependently Typed Programming - 2010, Jul 2010, Edinburgh, United Kingdom
Accès au bibtex
BibTex
titre
Specifying Imperative ML-Like Programs Using Dynamic Logic
auteur
Séverine Maingaud, Vincent Balat, Richard Bubel, Reiner Hähnle, Alexandre Miquel
article
Formal Verification of Object-Oriented Software - International Conference, FoVeOOS 2010, Jun 2010, Paris, France. pp.122-137
Accès au bibtex
BibTex
titre
Categorical Models for Simply Typed Resource Calculi
auteur
Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzonetto
article
26th Conference on the Mathematical Foundations of Programming Semantics (MFPS 2010), May 2010, Ottawa, Canada. pp.213-230
Accès au bibtex
BibTex
titre
From Focalization of Logic to the Logic of Focalization
auteur
Michele Basaldella, Alexis Saurin, Kazushige Terui
article
Twenty-Sixth Conference on the Mathematical Foundations of Programming Semantics - MFPS XXVI, May 2010, Ottawa, Canada. pp.161-176, ⟨10.1016/j.entcs.2010.08.010⟩
Accès au bibtex
BibTex
titre
The Ultimate Debian Database: Consolidating Bazaar Metadata for Quality Assurance and Data Mining
auteur
Lucas Nussbaum, Stefano Zacchiroli
article
7th IEEE Working Conference on Mining Software Repositories (MSR'2010), May 2010, Cape Town, South Africa
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00502886/file/msr2010-udd.pdf BibTex
titre
Tackling parametric polymorphism for XML
auteur
Giuseppe Castagna
article
Symposium on Computer Science and Novel Technologies, May 2010, Beijing, China
Accès au bibtex
BibTex
titre
Standardization and Böhm Trees for $\Lambda\mu$-Calculus
auteur
Alexis Saurin
article
Tenth International Symposium on Functional and Logic Programming - FLOPS 2010, Apr 2010, Sendai, Japan. pp.134-149, ⟨10.1007/978-3-642-12251-4_11⟩
Accès au bibtex
BibTex
titre
Content Cloaking: Preserving Privacy with Google Docs and other Web Applications
auteur
Gabriele d'Angelo, Fabio Vitali, Stefano Zacchiroli
article
25th Annual ACM Symposium on Applied Computing (ACM SAC 2010), Mar 2010, Sierre, Switzerland. pp.826-830
Accès au bibtex
BibTex
titre
Fair Adversaries and Randomization in Two-Player Games
auteur
Eugene Asarin, Raphael Chane-Yack-Fa, Daniele Varacca
article
FOSSACS 2010, Mar 2010, Paphos, Cyprus. pp.64-78
Accès au bibtex
BibTex
titre
A Hierarchy for Delimited Continuations in Call-by-Name
auteur
Alexis Saurin
article
13th International Conference on Software Science and Computational Structures - FOSSACS 2010, Mar 2010, Paphos, Cyprus. pp.374-388, ⟨10.1007/978-3-642-12032-9_26⟩
Accès au bibtex
BibTex
titre
De l'nterprétation algorithmique du blason
auteur
Pascal Manoury
article
Vingt et unièmes journées francophone de langages applicatifs, Jan 2010, La Ciotat, France. pp 45
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00640989/file/manoury-art.pdf BibTex
titre
Enforcing Type-Safe Linking using Inter-Package Relationships
auteur
Mehdi Dogguy, Stephane Glondu, Sylvain Le Gall, Stefano Zacchiroli
article
21st Journée Francophones des Langages Applicatifs (JFLA 2010), Jan 2010, La Ciotat, France. pp.29-54
Accès au bibtex
BibTex
titre
About Higher Dimensional Transition Systems
auteur
Philippe Gaucher
article
Geometric and Topological Methods in Computer Science 2010, Jan 2010, Aalborg, Denmark
Accès au bibtex
BibTex
titre
Macaque : Interrogation sûre et flexible de base de données depuis OCaml
auteur
Gabriel Scherer, Jérôme Vouillon
article
Ving et unième journées francophones des langages applicatifs, Jan 2010, La Ciotat, France
Accès au bibtex
BibTex
titre
A Proof Calculus Which Reduces Syntactic Bureaucracy
auteur
Alessio Guglielmi, Tom Gundersen, Michel Parigot
article
21st International Conference on Rewriting Techniques and Applications, RTA 2010, 2010, United Kingdom. pp.135-150, ⟨10.4230/LIPIcs.RTA.2010.135⟩
Accès au bibtex
BibTex
titre
A Quasipolynomial Cut-Elimination Procedure in Deep Inference via Atomic Flows and Threshold Formulae
auteur
Paola Bruscoli, Alessio Guglielmi, Tom Gundersen, Michel Parigot
article
16th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-16, 2010, Dakar, Senegal. pp.00-00
Accès au bibtex
BibTex
titre
Abstracting the differential semantics of rule-based models: exact and automated model reduction
auteur
Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine
article
Logic in Computer Science, 2010, Edinburgh, United Kingdom. pp.362-381
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00520112/file/Dan_etal10a.pdf BibTex
titre
Preview of Ocsigen 2.0
auteur
Vincent Balat
article
Ocaml Meeting 2010, 2010, France
Accès au bibtex
BibTex

Chapitre d'ouvrage

titre
Décidabilité et Complexité
auteur
Olivier Bournez, Gilles Dowek, Rémi Gilleron, Serge Grigorieff, Jean-Yves Marion, Simon Perdrix, Sophie Tison
article
Pierre Marquis, Odile Papini and Henri Prade. IA Handbook, Cépaduès, pp.1-63, 2010
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00549416/file/Chapitre_DecidabiliteComplexite.pdf BibTex
titre
Rule Based Modeling and Model Refinement
auteur
Elaine Murphy, Vincent Danos, Jérôme Feret, Jean Krivine, Russell Harmer
article
H. Lodhi and S. Muggleton. Elements of Computational Systems Biology, John Wiley & Sons, pp.83--114, 2010, Wiley Book Series on Bioinformatics, 978-0470180938. ⟨10.1002/9780470556757.ch4⟩
Accès au bibtex
BibTex

Direction d'ouvrage, Proceedings, Dossier

titre
Special Issue of APAL (vol 161(5)) for GaLoP 3
auteur
Russ Harmer, Dan Ghica
article
Elsevier, pp.90, 2010
Accès au bibtex
BibTex
titre
Proceedings First International Workshop on Logics for Component Configuration
auteur
Inês Lynce, Ralf Treinen
article
Inês Lynce and Ralf Treinen. Workshop on Logics for Component Configuration, Jul 2010, Edinburgh, United Kingdom. 29, Electronic Proceedings in Theoretical Computer Science, pp.1--53, 2010, 2075-2180. ⟨10.4204/EPTCS.29⟩
Accès au bibtex
https://arxiv.org/pdf/1007.0831 BibTex
titre
Selected Papers of the "18th European Symposium on Programming", volume 411, Issue 51-52 of Theoretical Computer Science
auteur
Giuseppe Castagna, John Boyland
article
Elsevier, pp.4357-4466, 2010
Accès au bibtex
BibTex

Rapport

titre
Certifying cost annotations in compilers
auteur
Roberto M. Amadio, Nicolas Ayache, Yann Régis-Gianas, Ronan Saillard
article
2010
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00524715/file/ccac-hal.pdf BibTex
titre
Manccosi Deliverable D5.2: Extension of an existing package manager to produce traces of ugradeability problems in CUDF format
auteur
Pietro Abate, André Guerreiro, Stéphane Laurière,, Ralf Treinen, Stefano Zacchiroli
article
[Technical Report] 2010
Accès au bibtex
BibTex

Thèse

titre
Investigation on the typing of equality in type systems
auteur
Vincent Siles
article
Logic in Computer Science [cs.LO]. Ecole Polytechnique X, 2010. English
Accès au texte intégral et bibtex
https://pastel.archives-ouvertes.fr/pastel-00556578/file/these.pdf BibTex
titre
Constructive Completeness Proofs and Delimited Control
auteur
Danko Ilik
article
Software Engineering [cs.SE]. Ecole Polytechnique X, 2010. English
Accès au texte intégral et bibtex
https://pastel.archives-ouvertes.fr/tel-00529021/file/thesis-danko-ilik.pdf BibTex
titre
Développement modulaire de théories et gestion de l'espace de nom pour l'assistant de preuve Coq.
auteur
Elie Soubiran
article
Langage de programmation [cs.PL]. Ecole Polytechnique X, 2010. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00679201/file/these.pdf BibTex
titre
Logique et Interaction : une Étude Sémantique de la Totalité
auteur
Pierre Clairambault
article
Autre [cs.OH]. Université Paris-Diderot - Paris VII, 2010. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00459307/file/these.pdf BibTex

Pré-publication, Document de travail

titre
The structural lambda-calculus
auteur
Beniamino Accattoli, Delia Kesner
article
2010
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00528228/file/rapport-technique-pps.pdf BibTex
titre
Markov concurrent processes
auteur
Samy Abbes
article
2010
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00493927/file/2cp.pdf BibTex
titre
A convenient differential category
auteur
Richard Blute, Thomas Ehrhard, Christine Tasson
article
2010
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00492424/file/BET.pdf BibTex
titre
An affine-intuitionistic system of types and effects: confluence and termination
auteur
Roberto Amadio, Patrick Baillot, Antoine Madet
article
2010
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00438101/file/affreg_nolncs.pdf BibTex
titre
Optimality for Dynamic Patterns
auteur
Thibaut Balabonski
article
2010
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00508393/file/Balabonski-OfDP.pdf BibTex
titre
Algèbres de réalisabilité: un programme pour bien ordonner R
auteur
Jean-Louis Krivine
article
2010
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00457613/file/Bon_ordre_HAL.pdf BibTex
titre
Ticket Entailment is decidable
auteur
Vincent Padovani
article
2010
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00599342/file/entailment_padovani_main.pdf BibTex
titre
Extensional Collapse Situations I: non-termination and unrecoverable errors
auteur
Antonio Bucciarelli
article
2010
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00558683/file/main.pdf BibTex

2009

Article dans une revue

titre
Homotopical interpretation of globular complex by multipointed d-space
auteur
Philippe Gaucher
article
Theory and Applications of Categories, Mount Allison University, 2009, 22 (22), pp.588-621
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00495657/file/Mdtop.pdf BibTex
titre
La science du logiciel libre par Roberto Di Cosmo. Entre auto-organisation et méritocratie, entretien avec Jean-Bernard Stefani, propos recueillis par Dominique Chouchan.
auteur
Roberto Di Cosmo, Jean-Bernard Stefani
article
Les Cahiers de l'INRIA - La Recherche, INRIA, 2009, Les promesses des énergies renouvelables
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00511691/file/inria-n436-dec09.pdf BibTex
titre
Rule-based modelling and tunable resolution
auteur
Russ Harmer
article
EPTCS, 2009, 9, pp.65-72
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00694488/file/0911.2508v1.pdf BibTex
titre
Totality in arena games
auteur
Pierre Clairambault, Russ Harmer
article
Annals of Pure and Applied Logic, Elsevier Masson, 2009, 161 (5), pp.673-689. ⟨10.1016/j.apal.2009.07.016⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00443535/file/totality.pdf BibTex
titre
On the categorical semantics of Elementary Linear Logic
auteur
Olivier Laurent
article
Theory and Applications of Categories, Mount Allison University, 2009, 22 (10), pp.269-301
Accès au bibtex
BibTex
titre
Polygraphic resolutions and homology of monoids
auteur
Yves Lafont, François Métayer
article
Journal of Pure and Applied Algebra, Elsevier, 2009, 213, pp.947-968. ⟨10.1016/j.jpaa.2008.10.005⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00148370/file/polrhm.pdf BibTex
titre
Internal coarse-graining of molecular systems
auteur
Jérôme Feret, Vincent Danos, Jean Krivine, Russ Harmer, Walter Fontana
article
Proceedings of the National Academy of Sciences of the United States of America, National Academy of Sciences, 2009, 106 (16), ⟨10.1073/pnas.0809908106⟩
Accès au bibtex
BibTex
titre
T-homotopy and refinement of observation (I) : Introduction
auteur
Philippe Gaucher
article
Electronic Notes in Theoretical Computer Science, Elsevier, 2009, 230, pp.103-110
Accès au bibtex
https://arxiv.org/pdf/math.AT/0505152 BibTex
titre
Mobility control via passports
auteur
Samuel Hym
article
Information and Computation, Elsevier, 2009, 207 (2), pp.171-193. ⟨10.1016/j.ic.2007.11.011⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00140527/file/Hym_Mobility_control_via_passports.pdf BibTex
titre
Strong normalization property for second order linear logic
auteur
Michele Pagani
article
Theoretical Computer Science, Elsevier, 2009, 411, pp.410-444. ⟨10.1016/j.tcs.2009.07.053⟩
Accès au bibtex
BibTex
titre
Debianopolis
auteur
Ralf Treinen
article
Linux Magazin, Linux New Media AG, 2009
Accès au bibtex
BibTex
titre
Parametric polymorphism for XML
auteur
Haruo Hosoya, Alain Frisch, Giuseppe Castagna
article
ACM Transactions on Programming Languages and Systems (TOPLAS), ACM, 2009, 32 (1), pp.1-56. ⟨10.1145/1596527.1596529⟩
Accès au bibtex
BibTex
titre
Realizability in classical logic
auteur
Jean-Louis Krivine
article
Panoramas et synthèses, 2009, 27, pp.197-229
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00154500/file/Luminy04.pdf BibTex
titre
Effective lambda-models vs recursively enumerable lambda-theories
auteur
Chantal Berline, Giulio Manzonetto, Antonio Salibra
article
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2009, 19 (5), pp.897-942
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00288081/file/BMS08.pdf BibTex
titre
Rule-Based Modelling and Model Perturbation
auteur
Vincent Danos, Jérôme Feret, Walter Fontana, Russ Harmer, Jean Krivine
article
Transactions on Computational Systems Biology, Springer, 2009, Transactions on Computational Systems Biology XI, 5750, pp.116-137. ⟨10.1007/978-3-642-04186-0_6⟩
Accès au bibtex
BibTex
titre
Identification in milk of a serum amyloid A peptide chemoattractant for B lymphoblasts.
auteur
Berardo de Jesus Rodriguez, Claire Chevaleyre, Gwénaële Henry, Daniel Mollé, Isabelle Virlogeux-Payant, Mustapha Berri, François Boulay, Joëlle Léonil, François Meurens, Henri Salmon
article
BMC Immunology, BioMed Central, 2009, 10, pp.4. ⟨10.1186/1471-2172-10-4⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00376048/file/2009_Rodriguez_BMC-Immunology_1.pdf BibTex
titre
A Theory of Explicit Substitutions with Safe and Full Composition
auteur
Delia Kesner
article
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2009, 5 (3:1), pp.Pages 1-29
Accès au bibtex
BibTex
titre
First-class patterns
auteur
Barry Jay, Delia Kesner
article
Journal of Functional Programming, Cambridge University Press (CUP), 2009, 19 (2), pp.191-225
Accès au bibtex
BibTex
titre
A theory of contracts for Web services
auteur
Giuseppe Castagna, Nils Gesbert, Luca Padovani
article
ACM Transactions on Programming Languages and Systems (TOPLAS), ACM, 2009, 31 (5), pp.1-61. ⟨10.1145/1538917.1538920⟩
Accès au bibtex
BibTex

Communication dans un congrès

titre
On stratified regions
auteur
Roberto M. Amadio
article
Proceedings of the 7th Asian Symposium on Programming Languages and Systems, Dec 2009, South Korea. pp.210-225
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00375232/file/stratreg.pdf BibTex
titre
Parallel Reduction in Resource Lambda-Calculus
auteur
Michele Pagani
article
Programming Languages and Systems APLAS, Dec 2009, Seoul, South Korea. pp.226-242, ⟨10.1007/978-3-642-10672-9_17⟩
Accès au bibtex
BibTex
titre
Reducing Equational Theories for the Decision of Static Equivalence
auteur
Steve Kremer, Antoine Mercier, Ralf Treinen
article
Advances in Computer Science - ASIAN 2009, Dec 2009, Seoul, South Korea. pp.94--108, ⟨10.1007/978-3-642-10622-4_8⟩
Accès au bibtex
BibTex
titre
Higher Dimensional Transition System and Labelled Symmetric Precubical Set
auteur
Philippe Gaucher
article
Séminaire Itinérant de Catégories, Oct 2009, Paris, France
Accès au bibtex
BibTex
titre
Strong Dependencies between Software Components
auteur
Pietro Abate, Jaap Boender, Roberto Di Cosmo, Stefano Zacchiroli
article
ESEM 2009. 3rd International Symposium on Empirical Software Engineering and Measurement, 2009., Oct 2009, Lake Buena Vista, Florida, United States. pp.89-99, ⟨10.1109/ESEM.2009.5316017⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00438590/file/strongdeps-esem-2009.pdf BibTex
titre
On the Meaning of Focalization
auteur
Alexis Saurin, Michele Basaldella, Kazushige Terui
article
workshop on Games, Dialog and Interaction, Sep 2009, Paris, France. pp.78-87, ⟨10.1007/978-3-642-19211-1_5⟩
Accès au bibtex
BibTex
titre
Backward Reachability Analysis of Colored Petri Nets
auteur
Mohamed Bouali, Jérôme Rocheteau, Pavol Barger
article
The European Safety and Reliability Conference (ESREL'09), Sep 2009, Prague, Czech Republic. pp.1975--1981
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00447509/file/Esrel_09_MB_JR_Final.pdf BibTex
titre
Focalisation and Classical Realisability (version with appendices)
auteur
Guillaume Munch-Maccagnoni
article
18th EACSL Annual Conference on Computer Science Logic - CSL 09, Sep 2009, Coimbra, Portugal. pp.409-423, ⟨10.1007/978-3-642-04027-6_30⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00409793/file/focalisation_and_classical_realisability_long.pdf BibTex
titre
Using Objective Caml to Develop Safety-Critical Embedded Tools in a Certification Framework
auteur
Pascal Manoury
article
International conference on functional programming, Aug 2009, Edinburgh, United Kingdom. p 42
Accès au bibtex
BibTex
titre
Experience Report: Using Objective Caml to develop safety-critical embedded tool in a certification framework
auteur
Bruno Pagano, Olivier Andrieu, Thomas Moniot, Benjamin Canou, Emmanuel Chailloux, Philippe Wang, Pascal Manoury, Jean-Louis Colaço
article
The 14th ACM SIGPLAN International Conference on Functional Programming (ICFP 2009), Aug 2009, Edinburgh, United Kingdom. pp.215-220, ⟨10.1145/1596550.1596582⟩
Accès au bibtex
BibTex
titre
Towards maintainer script modernization in FOSS distributions
auteur
Davide Di Ruscio, Patrizio Pelliccione, Alfonso Pierantonio, Stefano Zacchiroli
article
IWOCE 2009: 1st international workshop on Open component ecosystems, Aug 2009, Amsterdam, Netherlands. pp.11-20
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00420061/file/iwoce2009.pdf BibTex
titre
Expressing advanced user preferences in component installation
auteur
Ralf Treinen, Stefano Zacchiroli
article
IWOCE 2009: 1st international workshop on Open component ecosystems, Aug 2009, Amsterdam, Netherlands. pp.31-40, ⟨10.1145/1595800.1595806⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00420065/file/main.pdf BibTex
titre
The inverse Taylor expansion problem in linear logic
auteur
Michele Pagani, Christine Tasson
article
Logic in Computer Science, Aug 2009, Los Angeles, United States. pp.222--231, ⟨10.1109/LICS.2009.19⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00440684/file/main.pdf BibTex
titre
The Structure of First-Order Causality
auteur
Samuel Mimram
article
Logic in Computer Science, Aug 2009, Los Angeles, United States. p. 212-221, ⟨10.1109/LICS.2009.19⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00411399/file/mimram_lics09.pdf BibTex
titre
Keeping sums under control
auteur
Vincent Balat
article
Workshop on Normalization by Evaluation, Aug 2009, Los Angeles, United States. pp.11-20
Accès au bibtex
BibTex
titre
An explicit formula for the free exponential modality of linear logic
auteur
Paul-André Melliès, Nicolas Tabareau, Christine Tasson
article
36th International Colloquium on Automata, Languages and Programming, Jul 2009, Rhodes, Greece. pp.247-260, ⟨10.1007/978-3-642-02930-1⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00391714/file/free-exponential-icalp.pdf BibTex
titre
An explicit formula for the free exponential modality of linear logic
auteur
Paul-André Melliès, Nicolas Tabareau, Christine Tasson
article
ICALP 2009 : 36th International Colloquium on Automata, Languages, and Programming, Jul 2009, Rhodes, Greece. pp.247-260, ⟨10.1007/978-3-642-02930-1_21⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02436316/file/free-exponential-journal.pdf BibTex
titre
An Operational Account of Call-By-Value Minimal and Classical $\lambda$-calculus in ''Natural Deduction'' Form
auteur
Hugo Herbelin, Stéphane Zimmermann
article
TLCA 2009 - 9th International Conference on Typed Lambda-Calculi and Applications, Mauricio Ayala Rincón, Jul 2009, Brasilia, Brazil. pp.142-156, ⟨10.1007/978-3-642-02273-9_12⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00389903/file/ndcbv.pdf BibTex
titre
Algebraic totality, towards completeness
auteur
Christine Tasson
article
Logic in Computer Science, Jul 2009, Brasilia, Brazil. pp.325-340, ⟨10.1007/978-3-642-02273-9⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00440750/file/totality.pdf BibTex
titre
The Cut-Elimination Thereom for Differential Nets with Boxes
auteur
Michele Pagani
article
Typed Lambda-Calculi and Applications, Jul 2009, Brasilia, Brazil. pp.219-233, ⟨10.1007/978-3-642-02273-9_17⟩
Accès au bibtex
BibTex
titre
Forcing-based cut-elimination for Gentzen-style intuitionistic sequent calculus
auteur
Hugo Herbelin, Gyesik Lee
article
Workshop on Logic, Language, Information and Computation, Jun 2009, Tokyo, Japan. pp.209-217
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00381554/file/wollic-HerLee09-kripke-cut-elim.pdf BibTex
titre
Rule-based modelling of cellular signalling
auteur
Russ Harmer
article
Biopathways 10, Jun 2009, Stockholm, Sweden
Accès au bibtex
BibTex
titre
A Model Driven Approach to Upgrade Package-Based Software Systems
auteur
Antonio Cicchetti@di.Univaq.It Cicchetti, Davide Di Ruscio, Patrizio Pelliccione, Alfonso Pierantonio, Stefano Zacchiroli
article
4th international conference on Evaluation of Novel Aspects to Software Engineering (ENASE 2009), May 2009, Milan, Italy. pp.262-276, ⟨10.1007/978-3-642-14819-4_19⟩
Accès au bibtex
BibTex
titre
An algebraic account of references in game semantics
auteur
Paul-André Melliès, Nicolas Tabareau
article
Mathematical Foundations of Programming Semantics, Apr 2009, Oxford, United Kingdom. pp.377-405
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00374933/file/references_mfps.pdf BibTex
titre
Least and greatest fixpoints in game semantics
auteur
Pierre Clairambault
article
Foundations of Software Science and Computational Structures, Mar 2009, York, United Kingdom. pp.16-31, ⟨10.1007/978-3-642-00596-1_3⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00443537/file/fixpoints.pdf BibTex
titre
The calculus of HandShake Configurations
auteur
Luca Fossati, Daniele Varacca
article
FOSSACS 2009, Mar 2009, York, United Kingdom. pp.227-241
Accès au bibtex
BibTex
titre
Where are your manners?: Sharing best community practices in the web 2.0
auteur
Angelo Di Iorio, Fabio Vitali, Davide Rossi, Stefano Zacchiroli
article
ACM symposium on Applied Computing, Mar 2009, Honolulu, United States. pp.681-687
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00384408/file/SAC09_-_DiIorioRossiVitaliZacchiroli.pdf BibTex
titre
Concurrency, sigma-algebras and probabilistic fairness
auteur
Samy Abbes, Albert Benveniste
article
FOSSACS 2009, Mar 2009, York, United Kingdom. pp.380-394
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00267518/file/abbes-benveniste-2008.pdf BibTex
titre
Compiling Functional Types to Relational Specifications for Low Level Imperative Code
auteur
Nick Benton, Nicolas Tabareau
article
Types in Language Design and Implementation, Jan 2009, Savannah, United States
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00341404/file/compiler_relation.pdf BibTex
titre
A Relational Model of a Parallel and Non-deterministic lambda-Calculus
auteur
Thomas Ehrhard, Antonio Bucciarelli, Giulio Manzonetto
article
Logical Foundations of Computer Science, International Symposium, LFCS 2009, Jan 2009, Deerfield Beach, FL, USA, France. pp.107-121
Accès au bibtex
BibTex
titre
Ocsigen : approche fonctionnelle typée de la programmation Web
auteur
Vincent Balat
article
Journée francophones des langages applicatifs, Jan 2009, France
Accès au bibtex
BibTex
titre
Contracts for Mobile Processes
auteur
Giuseppe Castagna, Luca Padovani
article
CONCUR 2009, 20th. International Conference on Concurrency Theory, 2009, Italy. n. 5710, LNCS, pag. 211-228
Accès au bibtex
BibTex
titre
A relational model of a parallel and non-deterministic lambda-calculus
auteur
Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzonetto
article
Logical Foundations of Computer Science, International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings,, 2009, United States. pp.107-121
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00283095/file/BEM08.pdf BibTex
titre
A preliminary proposal of decidable testing relations for infinitary asynchronous CCS (position paper)
auteur
Giuseppe Castagna, Luca Padovani
article
INFINITY 2009: 11th International Workshop on Verification of Infinite-State Systems, 2009, France
Accès au bibtex
BibTex
titre
Modelling epigenetic information maintenance a Kappa tutorial
auteur
Jean Krivine, Vincent Danos, Arndt Benecke
article
Computer Aided Verification, 2009, Grenoble, France. pp.17-32
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00692430/file/Kri_etal09.pdf BibTex
titre
On linear information systems
auteur
Antonio Bucciarelli, Thomas Ehrhard, Alberto Carraro, Antonino Salibra
article
LINEARITY 2009, 2009, Portugal. pp.38-48
Accès au bibtex
BibTex
titre
Partial Orders, Event Structures and Linear Strategies
auteur
Claudia Faggian, Mauro Piccolo
article
TLCA 2009, TYPED LAMBDA CALCULI AND APPLICATIONS, 2009, Brasilia, Brazil. pp.95-111
Accès au bibtex
BibTex
titre
Experience report : Ocsigen, a web programming framework
auteur
Vincent Balat, Jérôme Vouillon, Boris Yakobowski
article
International Conference on Functional Programming, 2009, Edinburgh, United Kingdom. pp.311-316, ⟨10.1145/1631687.1596595⟩
Accès au bibtex
BibTex
titre
Foundation of Session Types
auteur
Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Elena Giachino, Luca Padovani
article
11th ACM SIGPLAN Conference on Principles and practice of declarative programming, 2009, Portugal. pp.219-230, ⟨10.1145/1599410.1599437⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00334435/file/fst-extended.pdf BibTex

Chapitre d'ouvrage

titre
Web Semantics via Wiki Templating
auteur
Angelo Di Iorio, Fabio Vitali, Stefano Zacchiroli
article
Handbook of research on Web 2.0, 3.0 and x.0: technologies, business and social applications, San Murugesan, chapter 34, 2009, ⟨10.1000/ISBN978-1605663845⟩
Accès au bibtex
BibTex
titre
Sequential algorithms as bistable maps
auteur
Pierre-Louis Curien
article
Yves Bertot, Gérard Huet, Jean-Jacques Lévy and Gordon Plotkin. From semantics to computer science: essays in honour of Gilles Kahn, Cambridge University Press, pp.51-71, 2009
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00155296/file/laird-sa.pdf BibTex
titre
XML Typechecking
auteur
Giuseppe Castagna, Véronique Benzaken, Haruo Hosoya, Benjamin C. Pierce, Stijn Vansummeren
article
The Encyclopedia of Database Systems, Springer, pp.3646-3650, 2009
Accès au bibtex
BibTex
titre
Determinacy in a synchronous pi-calculus
auteur
Roberto M. Amadio, Mehdi Dogguy
article
Y. Bertot et al. From semantics to computer science: essays in honor of Gilles Kahn, Cambridge University Presse, pp.1-27, 2009
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00159764/file/rev-detspi.pdf BibTex
titre
Abstract machines for dialogue games
auteur
Pierre-Louis Curien, Hugo Herbelin
article
Interactive models of computation and program behavior, Société Mathématique de France, pp.231-275, 2009, Panoramas et Synthèses
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00155295/file/Panorama.pdf BibTex

Direction d'ouvrage, Proceedings, Dossier

titre
Rewriting Techniques and Applications. 20th International Conference, RTA 2009. Brasília, Brazil, June 29-July 1, 2009. Proceedings.
auteur
Ralf Treinen
article
Springer Verlag, pp.1-391, 2009
Accès au bibtex
BibTex
titre
Ouvrir la logique au monde : Philosophie et mathématique de l'interaction
auteur
Jean-Baptiste Joinet, Samuel Tronçon
article
Editions Hermann (Paris), pp.349, 2009
Accès au bibtex
BibTex
titre
Selected Papers of the Conference "International Colloquium on Automata, Languages and Programming 2008" (ICALP). Special issue of Logical Methods in Computer Science.
auteur
Giuseppe Castagna, Igor Walukiewicz
article
IfCoLog, 2009
Accès au bibtex
BibTex
titre
Programming Languages and Systems: Proceedings of the 18th European Symposium on Programming, ESOP 2009, volume 5502 of Lecture Notes in Computer Science.
auteur
Giuseppe Castagna
article
Springer, pp.409, 2009
Accès au bibtex
BibTex
titre
From Type Theory to Morphological Complexity. Special issue of Information and Computation, volume 207(5).
auteur
Roberto M. Amadio, Andrea Asperti, Giuseppe Castagna
article
Academic Press, pp.543-669, 2009
Accès au bibtex
BibTex

Cours

titre
Introduction à l'analyse syntaxique et à la compilation
auteur
Roberto M. Amadio
article
Engineering school. Paris Diderot (Paris 7), 2009, pp.68
Accès au texte intégral et bibtex
https://cel.archives-ouvertes.fr/cel-00373150/file/compilation.pdf BibTex

Autre publication

titre
Apache UIMA pour le Traitement Automatique des Langues
auteur
Nicolas Hernandez, Fabien Poulard, Stergos D. Afantenos, Matthieu Vernier, Jérôme Rocheteau
article
2009
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00423728/file/TALN_demo-UIMA_HernandezPoulardRocheteauVernierAfantenos.pdf BibTex
titre
BitTorrent DHT Extensions for IPv6
auteur
Juliusz Chroboczek
article
2009
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00696394/file/bep-32.pdf BibTex

Ouvrage (y compris édition critique et traduction)

titre
Introduction to ''Interactive models of computation and program behaviour
auteur
Pierre-Louis Curien
article
Société Mathématique de France, pp.xi-xv, 2009, Panoramas et Synthèses
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00697119/file/intro-pano.pdf BibTex

Rapport

titre
Are events fast?
auteur
Gabriel Kerneis, Juliusz Chroboczek
article
2009
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00434374/file/are-events-fast.pdf BibTex
titre
A Categorical Semantics for The Parallel Lambda-Calculus
auteur
Germain Faure, Alexandre Miquel
article
[Research Report] RR-7063, INRIA. 2009, pp.22
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00424248/file/RR-7063.pdf BibTex

Thèse

titre
Programmer, calculer et raisonner avec les réseaux de la Logique Linéaire
auteur
Stéphane Gimenez
article
Autre [cs.OH]. Université Paris-Diderot - Paris VII, 2009. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00629013/file/these-sg.pdf BibTex
titre
SÉMANTIQUES ET SYNTAXES VECTORIELLES DE LA LOGIQUE LINÉAIRE
auteur
Christine Tasson
article
Informatique [cs]. Université Paris-Diderot - Paris VII, 2009. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00440752/file/manuscrit.pdf BibTex

Pré-publication, Document de travail

titre
Quasipolynomial Normalisation in Deep Inference via Atomic Flows and Threshold Formulae
auteur
Paola Bruscoli, Alessio Guglielmi, Tom Gundersen, Michel Parigot
article
2009
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00441213/file/QuasiPolNormDI.pdf BibTex
titre
Strong Dependencies between Software Components
auteur
Pietro Abate, Jaap Boender, Roberto Di Cosmo, Stefano Zacchiroli
article
2009
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00388093/file/main.pdf BibTex
titre
Confluence of Pure Differential Nets with Promotion
auteur
Paolo Tranquilli
article
2009
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00374777/file/diffconf.pdf BibTex
titre
Ordre préfixe et temps d'arrêt
auteur
Samy Abbes
article
2009
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00355969/file/abbes-2009.pdf BibTex
titre
λμ-calculus and Λμ-calculus: a Capital Difference
auteur
Hugo Herbelin, Alexis Saurin
article
2009
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00524942/file/apal-HerSau10-lambda-mu-Lambda-mu.pdf BibTex
titre
Discovering new languages from the study of games semantics
auteur
Alexis Goyet
article
2009
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00413040/file/GOYET_Alexis_Master_Thesis_MPRI_2009.pdf BibTex
titre
Rethinking Web interaction
auteur
Vincent Balat
article
2009
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00497610/file/2010balat-rethinking.pdf BibTex

2008

Article dans une revue

titre
On Countable Completions of Quotient Ordered Semigroups
auteur
Samy Abbes
article
Semigroup Forum, Springer Verlag, 2008, 77 (3), pp.482-499. ⟨10.1007/s00233-008-9111-3⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00349207/file/abbes-sgf-2008.pdf BibTex
titre
Spurious Disambiguation Errors and How to Get Rid of Them
auteur
Claudio Sacerdoti Coen, Stefano Zacchiroli
article
Mathematics in Computer Science, Springer, 2008, 2 (2), pp.355-378. ⟨10.1007/s11786-008-0058-2⟩
Accès au bibtex
BibTex
titre
Security Types for Dynamic Web Data
auteur
Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantovic, Daniele Varacca
article
Theoretical Computer Science, Elsevier, 2008, 402 (2-3), pp.156-171
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00149049/file/dgpv.pdf BibTex
titre
Towards a homotopy theory of process algebra
auteur
Philippe Gaucher
article
Homology, Homotopy and Applications, 2008, 10 (1), pp.353-388
Accès au bibtex
BibTex
titre
Skeletal Parallel Programming with OCAMLP3L 2.0
auteur
Roberto Di Cosmo, Zheng Li, Susanna Pelagatti, Pierre Weis
article
Parallel Processing Letters, World Scientific Publishing, 2008, 18 (1), pp.149-164
Accès au bibtex
BibTex
titre
Cofibrant objects among higher-dimensional categories
auteur
François Métayer
article
Homology, Homotopy and Applications(HHA), International Press of Boston, Inc., 2008, 10 (1), pp.181-203
Accès au bibtex
BibTex
titre
Globular realization and cubical underlying homotopy type of time flow of process algebra
auteur
Philippe Gaucher
article
New York Journal of Mathematics, Electronic Journals Project, 2008, 14, pp.101-137
Accès au bibtex
BibTex
titre
Towards the unification of formats for overlapping markup
auteur
Paolo Marinelli, Fabio Vitali, Stefano Zacchiroli
article
New Review of Hypermedia and Multimedia, Taylor & Francis, 2008, 14 (1), pp.57-94. ⟨10.1080/13614560802316145⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00340578/file/nrhm-overlapping-conversions.pdf BibTex
titre
Proof nets sequentialisation in multiplicative linear logic
auteur
Paolo Di Giamberardino, Claudia Faggian
article
Annals of Pure and Applied Logic, Elsevier Masson, 2008, 155 (3), pp.173-182
Accès au bibtex
BibTex
titre
Probabilistic true-concurrency models: Markov nets and a Law of large numbers
auteur
Samy Abbes, Albert Benveniste
article
Theoretical Computer Science, Elsevier, 2008, 390, pp.129-170. ⟨10.1016/j.tcs.2007.09.018⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00349209/file/abbes-benveniste-2006-TCS.pdf BibTex
titre
From minimal signed circuits to the dynamics of Boolean regulatory networks
auteur
Elisabeth Remy, Paul Ruet
article
Bioinformatics, Oxford University Press (OUP), 2008, 24 (16), ⟨10.1093/bioinformatics/btn287⟩
Accès au bibtex
BibTex
titre
Graph Lambda Theories
auteur
Antonio Bucciarelli, Antonino Salibra
article
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2008, 18 (5), pp.975-1004
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00149556/file/graphlt.pdf BibTex
titre
Computational self-assembly
auteur
Pierre-Louis Curien, Vincent Danos, Jean Krivine, Min Zhang
article
Theoretical Computer Science, Elsevier, 2008, 404 ((1-2)), pp.61-75
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00155297/file/csa.pdf BibTex
titre
Uniformity and the Taylor expansion of ordinary lambda-terms
auteur
Thomas Ehrhard, Laurent Regnier
article
Theoretical Computer Science, Elsevier, 2008, 403 (2-3), pp.347-372. ⟨10.1016/j.tcs.2008.06.001⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00150275/file/resources.pdf BibTex
titre
Semantic subtyping for the pi-calculus
auteur
Giuseppe Castagna, Rocco de Nicola, Daniele Varacca
article
Theoretical Computer Science, Elsevier, 2008, 398 (1-3), pp.217-242. ⟨10.1016/j.tcs.2008.01.049⟩
Accès au bibtex
BibTex
titre
Symbolic Protocol Analysis for Monoidal Equational Theories
auteur
Stéphanie Delaune, Pascal Lafourcade, Denis Lugiez, Ralf Treinen
article
Information and Computation, Elsevier, 2008, 206 (2-4), pp.312-351. ⟨10.1016/j.ic.2007.07.005⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00496352/file/DLLT-ic07.pdf BibTex
titre
Semantic subtyping: Dealing set-theoretically with function, union, intersection, and negation types
auteur
Alain Frisch, Giuseppe Castagna, Véronique Benzaken
article
Journal of the ACM (JACM), Association for Computing Machinery, 2008, 55 (4), pp.1-64. ⟨10.1145/1391289.1391293⟩
Accès au bibtex
BibTex

Communication dans un congrès

titre
On affine usages in signal-based communication
auteur
Roberto M. Amadio, Mehdi Dogguy
article
Programming Languages and Systems, 6th Asian Symposium, APLAS 2008, Dec 2008, France. pp.221-236
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00272023/file/det-aff-new.pdf BibTex
titre
Towards Ludics Programming: Interactive Proof Search
auteur
Alexis Saurin
article
24th International Conference on Logic Programming - ICLP 2008, Dec 2008, Udine, Italy. pp.253-268, ⟨10.1007/978-3-540-89982-2_27⟩
Accès au bibtex
BibTex
titre
Package upgrades in FOSS distributions: details and challenges
auteur
Roberto Di Cosmo, Stefano Zacchiroli, Paulo Trezentos
article
International Workshop On Hot Topics In Software Upgrades Proceedings of the 1st International Workshop on Hot Topics in Software Upgrades, Oct 2008, Nashville, Tennessee, United States. pp.7, ⟨10.1145/1490283.1490292⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00359847/file/hotswup-rollback.pdf BibTex
titre
Combinatorics of labelling in higher dimensional automata
auteur
Philippe Gaucher
article
Rencontre du projet ANR "Invariants algébriques des systèmes informatiques, Sep 2008, Lyon, France
Accès au bibtex
BibTex
titre
O'Browser : Objective Caml on browsers
auteur
Benjamin Canou, Vincent Balat, Emmanuel Chailloux
article
The 2008 ACM SIGPLAN Workshop on ML, Sep 2008, Victoria BC, Canada. pp.69-78
Accès au bibtex
BibTex
titre
On Isomorphisms of Intersection Types.
auteur
Roberto Di Cosmo, Mariangiola Dezani-Ciancaglini, Elio Giovannetti
article
22nd International Conference, CSL 2008, Sep 2008, Bertinoro, Italy. pp.461-477, ⟨10.1007/978-3-540-87531-4_33⟩
Accès au bibtex
BibTex
titre
Quantitative Game Semantics for Linear Logic
auteur
Ugo Dal Lago, Olivier Laurent
article
Computer Science Logic, Sep 2008, Bertinoro, Italy. pp.230--245, ⟨10.1007/978-3-540-87531-4_18⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00270933/file/gamecomplong.pdf BibTex
titre
Differential Linear Logic and Processes
auteur
Thomas Ehrhard
article
Fifth IFIP International Conference On Theoretical Computer Science - TCS 2008, Sep 2008, Milan, Italy. pp.283, ⟨10.1007/978-0-387-09680-3_19⟩
Accès au bibtex
BibTex
titre
Canonical Sequent Proofs via Multi-Focusing
auteur
Alexis Saurin, Kaustuv C. Chaudhuri, Dale Miller
article
Fifth IFIP International Conference On Theoretical Computer Science - TCS 2008, IFIP 20th World Computer Congress, Sep 2008, Milano, Italy. pp.383-396, ⟨10.1007/978-0-387-09680-3_26⟩
Accès au bibtex
BibTex
titre
The joy of string diagrams
auteur
Pierre-Louis Curien
article
Computer Science Logic, Sep 2008, Bertinoro, Italy. pp.15-22
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00697115/file/csl-2008.pdf BibTex
titre
Proving Group Protocols Secure Against Eavesdroppers
auteur
Steve Kremer, Antoine Mercier, Ralf Treinen
article
4th International Joint Conference on Automated Reasoning (IJCAR 2008), Aug 2008, Sydney, Australia. pp.116-131, ⟨10.1007/978-3-540-71070-7_9⟩
Accès au bibtex
BibTex
titre
Solving package dependencies: from EDOS to Mancoosi
auteur
Ralf Treinen, Stefano Zacchiroli
article
DebConf8, Aug 2008, Argentina. pp.18-43
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00340581/file/main.pdf BibTex
titre
Improving the Quality of GNU/Linux Distributions
auteur
Roberto Di Cosmo, Berke Durak, Jaap Boender, Fabio Mancinelli, Jérôme Vouillon
article
COMPSAC, Jul 2008, Turku, France. pp.1240-1246, ⟨10.1109/COMPSAC.2008.226⟩
Accès au bibtex
BibTex
titre
Investigation of a biological repair scheme
auteur
Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine
article
the 9th Workshop on Membrane Computing - WMC9, Paun, G., Jul 2008, Edinburgh, United Kingdom. pp.1-12, ⟨10.1007/978-3-540-95885-7_1⟩
Accès au bibtex
BibTex
titre
Cubes, homotopy and process algebra
auteur
Philippe Gaucher
article
Algebraic Topological Methods in Computer Science 2008, Jul 2008, Paris, France
Accès au bibtex
BibTex
titre
Perpetuality for full and safe composition (in a constructive setting)
auteur
Delia Kesner
article
International Colloquium on Automata, Languages and Programming (ICALP), Jul 2008, Reykjavik, Iceland. pp.311-322
Accès au bibtex
BibTex
titre
A Petri Net Model of HandShake Protocols
auteur
Luca Fossati, Daniele Varacca
article
ICE 08, Jul 2008, Reykjavik, Iceland. pp.59-76
Accès au bibtex
BibTex
titre
On convergence-sensitive bisimulation and the embedding of CCS in timed CCS
auteur
Roberto M. Amadio
article
Proceedings of the 15th Workshop on Expressiveness in Concurrency (EXPRESS 2008), Jul 2008, Canada. pp.3-17
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00285337/file/convbis.pdf BibTex
titre
Cut Elimination for Monomial MALL Proof Nets
auteur
Olivier Laurent, Roberto Maieli
article
Logic in Computer Science, Jun 2008, Pittsburgh, France. pp.486--497, ⟨10.1109/LICS.2008.31⟩
Accès au bibtex
BibTex
titre
A topological model for studying branching and merging homologies of flows
auteur
Philippe Gaucher
article
CONFÉRENCE INTERNATIONALE DE THÉORIE DES CATÉGORIES 2008, Jun 2008, Calais, France
Accès au bibtex
BibTex
titre
Rule-based modelling, symmetries, refinements
auteur
Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine
article
the 1st International Workshop, Formal Methods in Systems Biology - FMSB 2008, Jasmin Fisher, Jun 2008, Cambridge, United Kingdom. pp.103-122, ⟨10.1007/978-3-540-68413-8_8⟩
Accès au bibtex
BibTex
titre
Homology of Higher Categories
auteur
François Métayer
article
ATMCS'08, Jun 2008, Paris, France
Accès au bibtex
BibTex
titre
Extraction in Coq, an Overview
auteur
Pierre Letouzey
article
Logic and Theory of Algorithms, Fourth Conference on Computability in Europe, CiE 2008, Jun 2008, Athens, Greece. ⟨10.1007/978-3-540-69407-6⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00338973/file/letouzey_extr_cie08.pdf BibTex
titre
Rule-based modelling of erbB signalling
auteur
Russ Harmer
article
1st International Workshop on 'Computational Models for Cell Processes' (CompMod), May 2008, Turku, Finland
Accès au bibtex
BibTex
titre
De la webradio lambda à la λ-webradio
auteur
David Baelde, Samuel Mimram
article
Journées Francophones des Langages Applicatifs, Jan 2008, Étretat, France. pp.47-61
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00223902/file/baelde.pdf BibTex
titre
Certified development tools implementation in objective caml.
auteur
Bruno Pagano, Olivier Andrieu, Benjamin Canou, Emmanuel Chailloux, Jean-Louis Colaço, Thomas Moniot, Philippe Wang
article
International Symposium on Practical Aspects of Declarative Languages PADL 08, Jan 2008, San Francisco, United States. pp.1--15
Accès au bibtex
BibTex
titre
Abstract Interpretation of Cellular Signalling Networks
auteur
Vincent Danos, Jérôme Feret, Walter Fontana, Jean Krivine
article
the 9th International Conference on Verification, Model Checking and Abstract Interpretation - VMCAI'08, Jan 2008, San Francisco, United States. pp.83-97, ⟨10.1007/978-3-540-78163-9_11⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00528352/file/vmcai2008.pdf BibTex
titre
De la webradio lambda à la lambda-webradio
auteur
David Baelde, Samuel Mimram
article
JFLA (Journées Francophones des Langages Applicatifs), INRIA, Jan 2008, Etretat, France. pp.47-62
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00202813/file/baelde.pdf BibTex
titre
Vérification formelle du tri fonctionnel par tas - Etude opérationnelle
auteur
Pascal Manoury
article
JFLA (Journées Francophones des Langages Applicatifs), INRIA, Jan 2008, Etretat, France. pp.107-122
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00202834/file/manoury.pdf BibTex
titre
A Theory of Contracts for Web Services
auteur
Giuseppe Castagna, Nils Gesbert, Luca Padovani
article
POPL '08, 35th ACM Symposium on Principles of Programming Languages, Jan 2008, San Francisco, United States. pp.261-272, ⟨10.1145/1328897.1328471⟩
Accès au bibtex
BibTex
titre
Lwt: a cooperative thread library
auteur
Jérôme Vouillon
article
Workshop on ML, 2008, Victoria, Canada. pp.3-12, ⟨10.1145/1411304.1411307⟩
Accès au bibtex
BibTex
titre
Typed iterators for XML
auteur
Giuseppe Castagna, Kim Nguyen
article
ICFP '08: 13th ACM SIGPLAN International Conference on Functional Programming, 2008, Canada. pp.15-26, ⟨10.1145/1411204.1411210⟩
Accès au bibtex
BibTex
titre
Pattern by example: type-driven visual programming of XML queries
auteur
Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Cédric Miachon
article
PPDP: ACM SIGPLAN Conference on Principles and practice of declarative programming, 2008, Spain. pp.131-142, ⟨10.1145/1389449.1389466⟩
Accès au bibtex
BibTex
titre
Stochastic Bigraphs
auteur
Jean Krivine, Robin Milner, Angelo Troina
article
Mathematical foundation of programming semantics 2008, 2008, United States. pp.73-96
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00530712/file/KriMilTro08.pdf BibTex
titre
Exploiting the full power of OCaml in Web programming
auteur
Vincent Balat
article
Ocaml Meeting 2008, 2008, France
Accès au bibtex
BibTex

Chapitre d'ouvrage

titre
Rule-based modelling and model perturbations
auteur
Vincent Danos, Jérôme Feret, Walter Fontana, Russ Harmer, Jean Krivine
article
Corrado Priami ; Ralph-Johan Back ; Ion Petre. Transactions on Computational Systems Biology XI, Springer, pp.116-137, 2008, Lecture Notes in Computer Science, 978-3-642-04186-0. ⟨10.1007/978-3-642-04186-0_6⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00350299/file/var.pdf BibTex

Direction d'ouvrage, Proceedings, Dossier

titre
Proceedings Foundations of Software Science and Computation Structures (FOSSACS), Springer Lecture Notes in Computer Science, 4962
auteur
Roberto M. Amadio
article
Springer Verlag, pp.530, 2008
Accès au bibtex
BibTex
titre
Proceedings 14th International Workshop on Expressiveness in Concurrency
auteur
Roberto M. Amadio, Thomas Hildebrandt
article
Electronic Notes in Theoretical Computer Science, 194(2), 2008., pp.80, 2008
Accès au bibtex
BibTex

Autre publication

titre
Description of the CUDF Format
auteur
Ralf Treinen, Stefano Zacchiroli
article
2008
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00340678/file/main.pdf BibTex

Rapport

titre
Juppix: a Linux Live-CD for Undergraduate Students
auteur
Juliusz Chroboczek, Sylvain Lebresne
article
[Technical Report] 2008, pp.8
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00696384/file/juppix.pdf BibTex
titre
A Spatial Equational Logic for the Applied pi-calculus
auteur
Jules Villard, Etienne Lozes, Ralf Treinen
article
[Research Report] 2008
Accès au bibtex
BibTex
titre
A semantic measure of the execution time in Linear Logic
auteur
Daniel de Carvalho, Michele Pagani, Lorenzo Tortora de Falco
article
[Research Report] RR-6441, INRIA. 2008, pp.48
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00206099/file/RR-6441.pdf BibTex
titre
Stream Associative Nets and Lambda-mu-calculus
auteur
Michele Pagani, Alexis Saurin
article
[Research Report] RR-6431, INRIA. 2008, pp.48
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00221221/file/RR-6431.pdf BibTex
titre
Concurrency, sigma-algebras, and probabilistic fairness
auteur
Samy Abbes, Albert Benveniste
article
[Research Report] RR-6724, INRIA. 2008, pp.24
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00338784/file/RR-6724.pdf BibTex

Thèse

titre
Realizability Games in Arithmetical Formulae.
auteur
Mauricio Guillermo,
article
Mathematics [math]. Université Paris-Diderot - Paris VII, 2008. English
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00594974/file/these.pdf BibTex
titre
Modalités de ressource et contrôle en logique tensorielle
auteur
Nicolas Tabareau
article
Mathématiques [math]. Université Paris-Diderot - Paris VII, 2008. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00339149/file/tabareau_phd.pdf BibTex
titre
Sémantique des jeux asynchrones et réécriture 2-dimensionnelle
auteur
Samuel Mimram
article
Informatique [cs]. Université Paris-Diderot - Paris VII, 2008. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00338643/file/mimram_these.pdf BibTex
titre
Réalisabilité Classique et protocoles réseaux
auteur
Philippe Hesse
article
Mathématiques [math]. Université Paris-Diderot - Paris VII, 2008. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00293688/file/these.pdf BibTex

Pré-publication, Document de travail

titre
Calculs avec Motifs Dynamiques
auteur
Thibaut Balabonski
article
2008
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00476940/file/Rapport_Technique_Motifs_Dynamiques.pdf BibTex
titre
Structures de réalisabilité, RAM et ultrafiltre sur N
auteur
Jean-Louis Krivine
article
2008
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00321410/file/Structures_de_realisabilite_2_HAL.pdf BibTex
titre
On Skolemising Zermelo's Set Theory
auteur
Alexandre Miquel
article
2008
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00425474/file/paper.pdf BibTex
titre
Presentation of a Game Semantics for First-Order Propositional Logic
auteur
Samuel Mimram
article
2008
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00277652/file/first-pres.pdf BibTex
titre
On probabilistic coherence spaces
auteur
Vincent Danos, Thomas Ehrhard
article
2008
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00280462/file/pcoh.pdf BibTex
titre
Free models of T-algebraic theories computed as Kan extensions
auteur
Paul-André Melliès, Nicolas Tabareau
article
2008
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00339331/file/free-models.pdf BibTex

2007

Article dans une revue

titre
A calculus for parallel computations over multidimensional dense arrays
auteur
Roberto Di Cosmo, Zheng Li, Susanna Pelagatti
article
Computer Languages, Systems and Structures, Elsevier, 2007, 33 (3-4), pp.82-110
Accès au bibtex
BibTex
titre
A synchronous pi-calculus
auteur
Roberto M. Amadio
article
Information and Computation, Elsevier, 2007, 205 (9), pp.1470-1490
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00078319/file/slrnu-clean.pdf BibTex
titre
Components of the Fundamental Category II
auteur
Eric Goubault
article
Applied Categorical Structures, Springer Verlag (Germany), 2007, à paraître, à paraître
Accès au bibtex
BibTex
titre
A direct approach to fault-tolerance in measurement-based quantum computation via teleportation
auteur
Marcus Silva, Vincent Danos, Elham Kashefi, Harold Ollivier
article
New Journal of Physics, Institute of Physics: Open Access Journals, 2007, pp.article 192
Accès au bibtex
https://arxiv.org/pdf/quant-ph/0611273 BibTex
titre
T-Homotopy and Refinement of Observation, Part II: Adding New T-Homotopy Equivalences
auteur
Philippe Gaucher
article
International Journal of Mathematics and Mathematical Sciences, Hindawi Publishing Corporation, 2007, 2007, Article ID 87404, 20 p. ⟨10.1155/2007/87404⟩
Accès au bibtex
BibTex
titre
Adding recursion to Dpi
auteur
Samuel Hym, Matthew Hennessy
article
Theoretical Computer Science, Elsevier, 2007, 373 (3), pp.182--212. ⟨10.1016/j.tcs.2006.12.017⟩
Accès au bibtex
BibTex
titre
The Measurement Calculus
auteur
Vincent Danos, Elham Kashefi, Prakash Panangaden
article
Journal of the ACM (JACM), Association for Computing Machinery, 2007, 54 (2), pp.article 8
Accès au bibtex
BibTex
titre
Axiomatizations for probabilistic finite-state behaviors
auteur
Yuxin Deng
article
Theoretical Computer Science, Elsevier, 2007, 373 (1-2), pp.92-114
Accès au bibtex
BibTex
titre
Completeness of MLL proof-nets w.r.t. weak distributivity
auteur
Jean-Baptiste Joinet
article
The Journal of Symbolic Logic, Association for Symbolic Logic, 2007, 72 (1), pp.159-170
Accès au bibtex
BibTex
titre
The SL synchronous language, revisited
auteur
Roberto M. Amadio
article
Journal of Logic and Algebraic Programming, Elsevier, 2007, 70, pp.121-150
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00014540/file/slr.pdf BibTex
titre
κ-Calculus Model for the Life-Cycle of Lambda Phage
auteur
Dan Li, Min Zhang, Xiaoju Dong
article
Journal of Shanghai Jiaotong University, 2007, 44 (1), pp.42-44
Accès au bibtex
BibTex
titre
Intruder deduction for the equational theory of Abelian groups with distributive encryption
auteur
Pascal Lafourcade, Denis Lugiez, Ralf Treinen
article
Information and Computation, Elsevier, 2007, 205 (4), pp.581-623. ⟨10.1016/j.ic.2006.10.008⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00496353/file/LLT-icomp07.pdf BibTex
titre
Typer la désérialisation sans sérialiser les types
auteur
Grégoire Henry, Michel Mauny, Emmanuel Chailloux
article
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2007, 26 (9), pp.1067-1090
Accès au bibtex
BibTex
titre
A call-by-name lambda-calculus machine
auteur
Jean-Louis Krivine
article
Higher Order Symbolic Computation, 2007, 20, pp.199-207
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00154508/file/LAZYMACH_kluwer.pdf BibTex
titre
Resource Operators for lambda-calculus
auteur
Delia Kesner, Stéphane Lengrand
article
Information and Computation, Elsevier, 2007, 205 (4), pp.419-473
Accès au bibtex
BibTex
titre
A Graph Abstract Machine Describing Event Structure Composition
auteur
Claudia Faggian, Mauro Piccolo
article
Electronic Notes in Theoretical Computer Science, Elsevier, 2007, 175 (4), pp.21-36
Accès au bibtex
BibTex
titre
Expression Reduction Systems with Patterns
auteur
Julien Forest, Delia Kesner
article
Journal of Automated Reasoning, Springer Verlag, 2007, 39 (4), pp.513-541
Accès au bibtex
BibTex
titre
A projective formalism applied to topoligical and probabilistic event structures
auteur
Samy Abbes
article
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2007, 17 (4), pp.819-837. ⟨10.1017/S096012950700607X⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00350199/file/MSCS_abbes2007.pdf BibTex

Communication dans un congrès

titre
Model Checking Almost All Paths Can Be Less Expensive than Checking All Paths
auteur
Matthias Schmalz, Hagen Völzer, Daniele Varacca
article
FSTTCS, Dec 2007, New Delhi, India. pp.532-543
Accès au bibtex
BibTex
titre
Rule-based modeling of erbB signaling
auteur
Russ Harmer
article
ASCB Annual Meeting (SIG on Systems Biology of Receptor Tyrosine Kinase Networks), Dec 2007, Washington DC, United States
Accès au bibtex
BibTex
titre
Scalable Simulation of Cellular Signaling Networks
auteur
Vincent Danos, Jérôme Feret, Walter Fontana, Jean Krivine
article
the 5th Asian Symposium on Programming Languages and Systems - APLAS'07, Shao, Z., Nov 2007, Singapore, Singapore. pp.139-157, ⟨10.1.1.139.5120⟩
Accès au bibtex
BibTex
titre
Can a lambda-model have a recursively enumerable theory ?
auteur
Chantal Berline
article
Types and Computations: A Colloquium in Honor of Mario Coppo, Mariangiola Dezani-Ciancaglini, Simona Ronchi della Rocca, Oct 2007, Roma, Italy
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00699810/file/cdr60-printme.pdf BibTex
titre
Pattern by Example: type-driven visual programming of XML queries
auteur
Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Cédric Miachon
article
23èmes Journées Bases de Données Avancées, Oct 2007, France
Accès au bibtex
BibTex
titre
A Theory of Contracts for Web Services
auteur
Giuseppe Castagna
article
Workshop on Formal Languages and Analysis of Contract-Oriented Software, Oct 2007, Oslo, Norway
Accès au bibtex
BibTex
titre
Lambda theories of effective lambda models
auteur
Chantal Berline, Giulio Manzonetto, Antonino Salibra
article
CSL'07, 16th EACSL Annual Conference on Computer Science and Logic, Sep 2007, Lausanne, Switzerland. pp.268-282, ⟨10.1007/978-3-540-74915-8⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00125816/file/CSL07.pdf BibTex
titre
Not enough points is enough
auteur
Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzonetto
article
Computer Science Logic, 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Sep 2007, Lausanne, Switzerland. pp.298-312
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00148820/file/enough.pdf BibTex
titre
Homotopical semantics of parallel composition in CCS
auteur
Philippe Gaucher
article
PSSL86, Sep 2007, Nancy, France
Accès au bibtex
BibTex
titre
Globular realization and cubical underlying homotopy type
auteur
Philippe Gaucher
article
Rencontre du projet ANR "Invariants algébriques des systèmes informatiques", Sep 2007, Nancy, France
Accès au bibtex
BibTex
titre
Mobility control via passports (Extended abstract)
auteur
Samuel Hym
article
18th International Conference on Concurrency Theory, Sep 2007, Lisbon, Portugal. pp.349--363, ⟨10.1007/978-3-540-74407-8_24⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00425188/file/Hym_Mobility_control_via_passports_extended_abstract_.pdf BibTex
titre
Compositional Event Structure Semantics of the Internal pi-Calculus
auteur
Silvia Crafa, Daniele Varacca, Nobuko Yoshida
article
Proceedings of Concur 2007, Sep 2007, Lisbon, Portugal. pp.317-332
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00148937/file/main.pdf BibTex
titre
Interpreting a Finitary Pi-Calculus in Differential Interaction Nets
auteur
Thomas Ehrhard, Olivier Laurent
article
CONCUR 2007, Sep 2007, Lisboa, Portugal. pp.333-348, ⟨10.1007/978-3-540-74407-8⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00148816/file/pi_diffnets.pdf BibTex
titre
Rule-based modelling of cellular signalling
auteur
Vincent Danos, Jerome Feret, Walter Fontana, Russell Harmer, Jean Krivine
article
International Conference on Concurrency Theory (CONCUR'07), Sep 2007, Portugal
Accès au bibtex
BibTex
titre
From Proofs to Focused Proofs: A Modular Proof of Focalization in Linear Logic
auteur
Alexis Saurin, Dale Miller
article
16th EACSL Annual Conference on Computer Science and Logic - CSL 2007, Sep 2007, Lausanne, Switzerland. pp.405-419, ⟨10.1007/978-3-540-74915-8_31⟩
Accès au bibtex
BibTex
titre
Feasible reactivity in a synchronous pi-calculus
auteur
Roberto M. Amadio, Frederic Dabrowski
article
ACM SIGPLAN Principles and Practice of Declarative Programming, Jul 2007, Wroclaw, Poland. pp.221-231
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00130322/file/fr-short.pdf BibTex
titre
Categorical Combinatorics for Innocent Strategies
auteur
Russ Harmer, Martin Hyland, Paul-André Melliès
article
Logic in Computer Science, Jul 2007, France. pp. 379-388
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00150373/file/lics07.pdf BibTex
titre
General Reversibility
auteur
Vincent Danos, Jean Krivine, Pawel Sobocinski
article
Jun 2007, pp.75-86
Accès au bibtex
BibTex
titre
A simple proof that super consistency implies cut elimination
auteur
Gilles Dowek, Olivier Hermant
article
18th International Conference, RTA 2007, Jun 2007, Paris, France. pp.Pages 93-106, ⟨10.1007/978-3-540-73449-9_9⟩
Accès au texte intégral et bibtex
https://hal-mines-paristech.archives-ouvertes.fr/hal-00743256/file/cuts.pdf BibTex
titre
Weak probabilistic anonymity
auteur
Yuxin Deng
article
Jun 2007, pp.55-76
Accès au bibtex
BibTex
titre
Handshake Games
auteur
Luca Fossati
article
Developments in Computational Models 2006, May 2007, Venise, Italy. pp.21-41, ⟨10.1016/j.entcs.2006.11.034⟩
Accès au bibtex
BibTex
titre
Self-assembling Trees
auteur
Vincent Danos, Fabien Tarissan, Jean Krivine
article
May 2007, pp.19-32
Accès au bibtex
BibTex
titre
Sémantique purement homotopique des algèbres de processus
auteur
Philippe Gaucher
article
Rencontre du projet ANR "Invariants algébriques des systèmes informatiques", Apr 2007, Paris, France
Accès au bibtex
BibTex
titre
Probabilistic pi-calculus and Event Structures
auteur
Daniele Varacca, Nobuko Yoshida
article
QAPL 2007, Mar 2007, Braga, Portugal. pp.147-166
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00148936/file/main.pdf BibTex
titre
Pauli Measurements are Universal
auteur
Vincent Danos, Elham Kashefi
article
Mar 2007, pp.95-100
Accès au bibtex
BibTex
titre
Distributed measurement-based quantum computation
auteur
Vincent Danos, Ellie d'Hondt, Elham Kashefi, Prakash Panangaden
article
Mar 2007, pp.73-94
Accès au bibtex
BibTex
titre
Quantitative resource-oriented analysis of Java (Adaptable) applications
auteur
Fabio Mancinelli, Paola Inverardi
article
Workshop on Software and Performance, Feb 2007, Buenos Aires, Argentina. pp.15-25, ⟨10.1145/1216993.1216998⟩
Accès au bibtex
BibTex
titre
Equivalence of automaton-based representations of time granularities
auteur
Ugo Dal Lago, Angelo Montanari, Gabriele Puppis
article
2007, Alicante, Spain. 11 p
Accès au bibtex
BibTex
titre
Light Logics and Optimal Reduction: Completeness and Complexity.
auteur
Patrick Baillot, Paolo Coppola, Ugo Dal Lago
article
Symposium on Logic in Computer Science (LICS '07), 2007, Wroclaw, Poland. à paraître
Accès au bibtex
BibTex
titre
The theory of calculi with explicit substitutions revisited
auteur
Delia Kesner
article
Annual Conference on Computer Science Logic (CSL), 2007, Lausanne, Switzerland. pp.Pages 238-252
Accès au bibtex
BibTex
titre
Definability and full abstraction
auteur
Pierre-Louis Curien
article
Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin, 2007, United Kingdom. pp.301-310
Accès au bibtex
BibTex
titre
A very modal model of a modern, major, general type system
auteur
Andrew W. Appel, Paul-André Melliès, Christopher D. Richards, Jérôme Vouillon
article
Annual Symposium on Principles of Programming Languages, 2007, Nice, France. pp.109-122, ⟨10.1145/1190216.1190235⟩
Accès au bibtex
BibTex
titre
A Theory of Contracts for Web Services
auteur
Giuseppe Castagna, Nils Gesbert, Luca Padovani
article
PLAN-X, ACM-SIGPLAN Workshop on Programming Language Technologies for XML, 2007, France
Accès au bibtex
BibTex
titre
A Graph Abstract Machine Describing Event Structure Composition
auteur
Claudia Faggian, Mauro Piccolo
article
2007, pp.60-75
Accès au bibtex
BibTex
titre
Ludics is a model for the finitary linear Pi-calculus
auteur
Claudia Faggian, Mauro Piccolo
article
TLCA 07 - Typed Lambda Calculi and Applications, 2007, France. 15 p
Accès au bibtex
BibTex
titre
CDuce, an XML Processing Programming Language: From Theory to Practice
auteur
Giuseppe Castagna
article
SBLP, Proc. of XI Brazilian Symposium on Programming Languages, 2007, Brazil. pp.3-4
Accès au bibtex
BibTex

Direction d'ouvrage, Proceedings, Dossier

titre
Proceedings of the 13th International Workshop on Expressiveness in Concurrency (EXPRESS 2006), Electronic Notes in Theoretical Computer Science, Volume 175(3).
auteur
Roberto M. Amadio, Iain Phillips
article
Elsevier, pp.150, 2007
Accès au bibtex
BibTex
titre
Logique, dynamique et cognition
auteur
Jean-Baptiste Joinet
article
Publications de la Sorbonne, pp.237, 2007
Accès au bibtex
BibTex

Autre publication

titre
ℂDuce Tutorial
auteur
Véronique Benzaken, Giuseppe Castagna, Alain Frisch
article
2007
Accès au bibtex
BibTex

Logiciel

titre
OcamlP3l release 2.03
auteur
Roberto Di Cosmo, Pierre Weis, Francois Clement, Zheng Li
article
2007, ⟨swh:1:dir:85642a2e0333bbd6340c0a84ae6bad48cba11940;origin=https://hal.archives-ouvertes.fr/hal-02487579;visit=swh:1:snp:18b778c20ee37588bfa16bb8d00d8046bcbb462c;anchor=swh:1:rev:b34a952aad1b143e60e302df55a4f986ab904c42;path=/⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02487579/file/ocamlp3l.tar.gz BibTex

Thèse

titre
From types to logical assertions : automatic or assisted proofs of property about functional programs
auteur
Yann Régis-Gianas
article
Programming Languages [cs.PL]. Université paris diderot, 2007. English. ⟨NNT : 2007PA077155⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/tel-01238703/file/these-yann.regis-gianas.pdf BibTex
titre
Programmation Réactive Synchrone, Langage et Contrôle des Ressources
auteur
Frederic Dabrowski
article
Génie logiciel [cs.SE]. Université Paris-Diderot - Paris VII, 2007. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00151974/file/dabrowski-phd.pdf BibTex
titre
Modelling and Analyzing Systems Biology Using Process Algebra
auteur
Min Zhang
article
Modeling and Simulation. Université Paris-Diderot - Paris VII, 2007. English
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00155301/file/thesismin.pdf BibTex
titre
Langages fonctionnels, typage et interopérabilité : Objective Caml sur .NET
auteur
Raphaël Montelatici
article
Génie logiciel [cs.SE]. Université Paris-Diderot - Paris VII, 2007. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00154790/file/these.pdf BibTex

Pré-publication, Document de travail

titre
A folk model structure on omega-cat
auteur
Yves Lafont, François Métayer, Krzysztof Worytkiewicz
article
2007
Accès au bibtex
https://arxiv.org/pdf/0712.0617 BibTex
titre
Formules valides, jeux et protocoles réseau
auteur
Jean-Louis Krivine, Yves Legrandgérard
article
2007
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00164295/file/Network.pdf BibTex
titre
Valid formulas, games and network protocols
auteur
Jean-Louis Krivine, Yves Legrandgérard
article
2007
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00166880/file/Network_eng.pdf BibTex
titre
On finiteness spaces and extensional presheaves over the Lawvere theory of polynomials
auteur
Thomas Ehrhard
article
2007
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00165230/file/presheaves.pdf BibTex
titre
Asynchronous games: innocence without alternation
auteur
Paul-André Melliès, Samuel Mimram
article
2007
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00152707/file/concur07.pdf BibTex
titre
Biological signalling and causality
auteur
Vincent Danos, Walter Fontana, Russ Harmer, Jean Krivine
article
2007
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00150881/file/ka-fix.pdf BibTex
titre
Call-by-Value Lambda-calculus and LJQ
auteur
Roy Dyckhoff, Stéphane Lengrand
article
2007
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00150284/file/JLC2006.pdf BibTex
titre
Classical F_omega, orthogonality and symmetric candidates
auteur
Stéphane Lengrand, Alexandre Miquel
article
2007
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00150283/file/Main.pdf BibTex
titre
Curry-style type Isomorphisms and Game Semantics
auteur
Joachim de Lataillade
article
2007
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00150156/file/wit2006.pdf BibTex
titre
Second-Order Type Isomorphisms Through Game Semantics
auteur
Joachim de Lataillade
article
2007
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00149525/file/isotypes.pdf BibTex
titre
Resource modalities in game semantics
auteur
Paul-André Melliès, Nicolas Tabareau
article
2007
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00144510/file/resource_modalities.pdf BibTex
titre
On privacy and anonymity in electronic and non electronic voting: the ballot-as-signature attack.
auteur
Roberto Di Cosmo
article
2007
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00142440/file/PrivacyTests.pdf BibTex
titre
Cellular strategies and innocent interaction
auteur
Russ Harmer
article
2007
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00150353/file/journal.pdf BibTex
titre
Continuation-passing for C: a space-efficient implementation of concurrency
auteur
Juliusz Chroboczek
article
2007
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00135160/file/cpc.pdf BibTex
titre
Cofibrant complexes are free
auteur
François Métayer
article
2007
Accès au bibtex
https://arxiv.org/pdf/math.CT/0701746 BibTex
titre
The theory of calculi with explicit substitutions revisited
auteur
Delia Kesner
article
2007
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00111285/file/main.pdf BibTex
titre
A simple proof that super-consistency implies cut elimination
auteur
Gilles Dowek, Olivier Hermant
article
2007
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00150697/file/cuts.pdf BibTex
titre
Classical program extraction in the calculus of constructions
auteur
Alexandre Miquel
article
2007
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00150889/file/extract.pdf BibTex
titre
Linear continuations and duality
auteur
Paul-André Melliès, Nicolas Tabareau
article
2007
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00339156/file/linear-control.pdf BibTex

2006

Article dans une revue

titre
Self-assembling graphs
auteur
Vincent Danos, Fabien Tarissan
article
Natural Computing, Springer Verlag, 2006, 20 p. ⟨10.1007/s11047-006-9013-9⟩
Accès au bibtex
BibTex
titre
Property-driven statistics of biological networks
auteur
Pierre-Yves Bourguignon, Vincent Danos, Francois Kepes, Serge Smidtas, Vincent Schachter
article
Transactions on Computational Systems Biology, Springer, 2006, 6, pp.1-15. ⟨10.1007/11880646_1⟩
Accès au bibtex
BibTex
titre
Determinism and the one-way model
auteur
Vincent Danos, Elham Kashefi
article
Physical Review A, American Physical Society, 2006, 74 (5), pp.article 052310
Accès au bibtex
BibTex
titre
Differential interaction nets
auteur
Thomas Ehrhard, Laurent Regnier
article
Theoretical Computer Science, Elsevier, 2006, 364 (2), pp.166-195. ⟨10.1016/j.tcs.2006.08.003⟩
Accès au bibtex
BibTex
titre
T-homotopy and refinement of observation (III) : Invariance of the branching and merging homologies
auteur
Philippe Gaucher
article
The New York Journal of Mathematics, 2006, 12, pp.319--348
Accès au bibtex
BibTex
titre
Domain decomposition and skeleton programming with OCamlP3l
auteur
François Clément, Vincent Martin, Arnaud Vodicka, Roberto Di Cosmo, Pierre Weis
article
Parallel Computing, Elsevier, 2006, 32 (7-8), pp.539-550. ⟨10.1016/j.parco.2006.04.003⟩
Accès au bibtex
BibTex
titre
Resource Control for Synchronous Cooperative Threads
auteur
Roberto M. Amadio, Silvano Dal Zilio
article
Theoretical Computer Science, Elsevier, 2006, 358, pp.229-254
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00015836/file/sct.pdf BibTex
titre
Asynchronous games 2: the true concurrency of innocence
auteur
Paul-André Melliès
article
Theoretical Computer Science, Elsevier, 2006, 358 (2-3), pp.200-228. ⟨10.1016/j.tcs.2006.01.016⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00154262/file/ag2-tcs.pdf BibTex
titre
Remarks on isomorphisms in typed lambda calculi with empty and sum types
auteur
Marcelo Fiore, Roberto Di Cosmo, Vincent Balat
article
Annals of Pure and Applied Logic, Elsevier Masson, 2006, 141 (1-2), pp.35-50. ⟨10.1016/j.apal.2005.09.001⟩
Accès au bibtex
BibTex
titre
Ensuring termination by typability
auteur
Yuxin Deng
article
Information and Computation, Elsevier, 2006, 204 (7), pp.1045-1082
Accès au bibtex
BibTex
titre
T-homotopy and refinement of observation (IV) : Invariance of the underlying homotopy type
auteur
Philippe Gaucher
article
The New York Journal of Mathematics, 2006, 12, pp.63--95
Accès au bibtex
BibTex
titre
Concurrent nets: a study of prefixing in process calculi
auteur
Emmanuel Beffara, François Maurel
article
Theoretical Computer Science, Elsevier, 2006, 356 (3), pp.356-373. ⟨10.1016/j.tcs.2006.02.009⟩
Accès au bibtex
BibTex
titre
Algebraic Topology and Concurrency
auteur
Eric Goubault
article
Theoretical Computer Science, Elsevier, 2006, 357 (1-3), pp.241-278
Accès au bibtex
BibTex
titre
Bisimulation and cocongruence for probabilistic systems
auteur
Vincent Danos, Josée Desharnais, François Laviolette, Prakash Panangaden
article
Information and Computation, Elsevier, 2006, 204 (4), pp.503--523
Accès au bibtex
BibTex
titre
Towards an algebraic theory of typed mobile processes
auteur
Yuxin Deng
article
Theoretical Computer Science, Elsevier, 2006, 350 (2-3), pp.188-212
Accès au bibtex
BibTex
titre
Program extraction from normalization proofs
auteur
Ulrich Berger, Stefan Berghofer, Pierre Letouzey, Helmut Schwichtenberg
article
Studia Logica, Springer Verlag (Germany), 2006, 82 (1), pp.25-49. ⟨10.1007/s11225-006-6604-5⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00150904/file/snextr05.pdf BibTex
titre
Probabilistic models for true-concurrency: branching cells and distributed probabilities for event structures
auteur
Samy Abbes, Albert Benveniste
article
Information and Computation, Elsevier, 2006, 204 (2), pp.231-274
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00350226/file/abbes-benveniste-inf.comp.2006.pdf BibTex
titre
Inverting weak dihomotopy equivalence using homotopy continuous flow
auteur
Philippe Gaucher
article
Theory and Applications of Categories, Mount Allison University, 2006, 16 (3), pp.59-83
Accès au bibtex
BibTex
titre
Introduction to linear logic and ludics, part II
auteur
Pierre-Louis Curien
article
Advances in polymer science, Springer Verlag, 2006, 35 (1), pp.1-44
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00003939/file/LL-ludintroII.pdf BibTex
titre
Graph models of lambda-calculus at work, and variations
auteur
Chantal Berline
article
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2006, 16, pp.185-221. ⟨10.1017/S0960129506005123⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00004473/file/graphmodsurvey.pdf BibTex
titre
Projective topology on bifinite domains and applications
auteur
Samy Abbes, Klaus Keimel
article
Theoretical Computer Science, Elsevier, 2006, 365 (3), pp.171-183. ⟨10.1016/j.tcs.2006.07.047⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00350211/file/abbeskeimel06.pdf BibTex
titre
Easiness in graph models
auteur
Chantal Berline, Antonino Salibra
article
Theoretical Computer Science, Elsevier, 2006, 354, pp.4-23. ⟨10.1016/j.tcs.2005.11.005⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00003751/file/berlinesalibra100205TCS.pdf BibTex

Communication dans un congrès

titre
Computation of Chromatic Polynomials Using Triangulations and Clique Trees
auteur
Pascal Berthomé, Sylvain Lebresne, Kim Nguyen
article
WG 2005, Dec 2006, Metz, France. pp.362-373
Accès au bibtex
BibTex
titre
The anatomy of innocence revisited
auteur
Russ Harmer, Olivier Laurent
article
Nov 2006, pp.224-235, ⟨10.1007/11944836_22⟩
Accès au bibtex
BibTex
titre
Reactive concurrent programming revisited
auteur
Roberto M. Amadio, Gérard Boudol, Ilaria Castellani, Frédéric Boussinot
article
Express, Sep 2006, France. pp.49-60
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00015838/file/abbc-tr.pdf BibTex
titre
Managing the Complexity of Large Free and Open Source Package-Based Software Distributions
auteur
Fabio Mancinelli, Jaap Boender, Roberto Di Cosmo, Jérôme Vouillon, Berke Durak, Xavier Leroy, Ralf Treinen
article
21st IEEE/ACM International Conference on Automated Software Engineering, Sep 2006, Tokyo, Japan. pp.199-208, ⟨10.1109/ASE.2006.49⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00149566/file/ase.pdf BibTex
titre
A Sequent Calculus for Type Theory
auteur
Stéphane Lengrand, Roy Dyckhoff, James Mckinna
article
Computer Science Logic (CSL'06), Sep 2006, Szeged, Hungary. pp.441 - 455
Accès au bibtex
BibTex
titre
Ocsigen: Typing Web Interaction with Objective Caml
auteur
Vincent Balat
article
ACM SIGPLAN 2006 workshop on ML, Sep 2006, Portland, United States. pp.84-94
Accès au bibtex
BibTex
titre
Secrecy of Signals by Typing in Signal Transduction
auteur
Min Zhang, Guoqiang Li, Fuxi Fu
article
In Proceedings of the 2nd International Conference on Natural Computation (ICNC'2006), Sep 2006, Xian, China. pp.384-393, ⟨10.1007/11881223⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00155525/file/P2449.pdf BibTex
titre
Functorial boxes in string diagrams
auteur
Paul-André Melliès
article
Computer Science Logic 2006, Sep 2006, Szeged, Hungary. pp.1-30, ⟨10.1007/11874683⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00154243/file/functorial-boxes-2.pdf BibTex
titre
Cooperative Threads and Preemptive Computations
auteur
Frédéric Dabrowski, Frédéric Boussinot
article
Multithreading in Hardware and Software: Formal Approaches to Design and Verification, TV06, Aug 2006, United States. pp.40-51
Accès au bibtex
BibTex
titre
Feasible Reactivity for Synchronous Cooperative Threads.
auteur
Roberto M. Amadio, Frederic Dabrowski
article
Process Algebra, Jul 2006, France. pp.33-43
Accès au bibtex
BibTex
titre
Böhm trees, Krivine machine and the Taylor expansion of ordinary lambda-terms
auteur
Thomas Ehrhard, Laurent Regnier
article
Second Conference on Computability in Europe, CiE 2006, Jun 2006, Swansea, United Kingdom. pp.186-197, ⟨10.1007/11780342_20⟩
Accès au bibtex
BibTex
titre
A Stackless Runtime Environment for a Pi-calculus
auteur
Frédéric Peschanski, Samuel Hym
article
VEE 2006 - Second International Conference on Virtual Execution Environments, Jun 2006, Ottawa, Canada. pp.57 - 67, ⟨10.1145/1134760.1134770⟩
Accès au bibtex
BibTex
titre
LJQ, a strongly Focused Calculus for Intuitionistic Logic
auteur
Roy Dyckhoff, Stéphane Lengrand
article
Computability in Europe (CiE'06), Jun 2006, Swansea, United Kingdom. pp.173 - 185
Accès au bibtex
BibTex
titre
FITGap : un framework objet pour le développement de jeux massivement multi-joueurs
auteur
Anne-Gwenn Bosser, Emmanuel Chailloux
article
Nouvelles Technologies de la Repartition (NOTERE'2006), Jun 2006, Toulouse, France. pp.119-130
Accès au bibtex
BibTex
titre
Metrics for action-labelled quantitative transition systems
auteur
Yuxin Deng
article
May 2006, pp.79-96
Accès au bibtex
BibTex
titre
A resource model for adaptable applications
auteur
Fabio Mancinelli, Paola Inverardi
article
International Conference on Software Engineering, May 2006, Shanghai, China. pp.9-15, ⟨10.1145/1137677.1137680⟩
Accès au bibtex
BibTex
titre
Adding recursion to Dpi (Extended abstract)
auteur
Samuel Hym, Matthew Hennessy
article
May 2006, pp.115-133, ⟨10.1016/j.entcs.2005.09.029⟩
Accès au bibtex
BibTex
titre
News from the EDOS project: improving the maintenance of free software distributions.
auteur
Roberto Di Cosmo, Jaap Boender, Berke Durak, Xavier Leroy, Fabio Mancinelli, Mario Morgado, David Pinheiro, Ralf Treinen, Paulo Trezentos, Jérôme Vouillon
article
Apr 2006, Porto Alegre, Brazil. pp.199-207
Accès au bibtex
BibTex
titre
Maintaining large software distributions: new challenges from the FOSS era.
auteur
Roberto Di Cosmo, Berke Durak, Xavier Leroy, Fabio Mancinelli, Jérôme Vouillon
article
Apr 2006, Vienna, Austria. pp.7-20
Accès au bibtex
BibTex
titre
Towards efficient, typed LR parsers.
auteur
François Pottier, Yann Régis-Gianas
article
ACM Workshop on ML, Mar 2006, Portland, Oregon, United States
Accès au bibtex
BibTex
titre
Stratified type inference for generalized algebraic data types
auteur
François Pottier, Yann Régis-Gianas
article
POPL'06 - Proceedings of the 33rd ACM Symposium on Principles of Programming Languages, Jan 2006, Charleston, South Carolina, United States. pp.232--244
Accès au bibtex
BibTex
titre
Polymorphism and XDuce-style patterns
auteur
Jérôme Vouillon
article
PLAN-X'06, Jan 2006, Charleston, United States
Accès au bibtex
BibTex
titre
Typer la dé-sérialisation sans sérialiser les types
auteur
Grégoire Henry, Michel Mauny, Emmanuel Chailloux
article
JFLA06, Jan 2006, Pauillac, France. pp.133-146
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00145454/file/safe_unmarshalling.pdf BibTex
titre
A concurrent model for linear logic
auteur
Emmanuel Beffara
article
2006, pp.147-168, ⟨10.1016/j.entcs.2005.11.055⟩
Accès au bibtex
BibTex
titre
On Constructive Existence
auteur
Michel Parigot
article
Types for Proofs and Programs, 2006, pp.268-273, ⟨10.1007/11617990_17⟩
Accès au bibtex
BibTex
titre
A simple calculus for proteins and cells
auteur
Cosimo Laneve, Fabien Tarissan
article
Workshop on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC'06), 2006, Venise, Italy
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00153157/file/lantar06.pdf BibTex
titre
Jump from Parallel to Sequential Proofs: Multiplicatives
auteur
Claudia Faggian, Paolo Di Giamberardino
article
2006, pp.319-333
Accès au bibtex
BibTex
titre
A lambda-calculus with constructors
auteur
Ariel Arbiser, Alexandre Miquel, Alejandro Ríos
article
RTA'06, 2006, Seattle, United States. pp.181-196
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00150884/file/clam-short.pdf BibTex
titre
The One Way to Quantum Computation
auteur
Vincent Danos, Elham Kashefi, Prakash Panangaden
article
33rd International Colloquium, ICALP 2006, 2006, Italy. ⟨10.1007/11787006_2⟩
Accès au bibtex
BibTex
titre
Lambda-Z: Zermelo's Set Theory as a PTS with 4 Sorts
auteur
Alexandre Miquel
article
TYPES'04, 2006, Jouy-en-Josas, France. pp.232-251
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00150886/file/LamZ.pdf BibTex
titre
Pure Pattern Calculus
auteur
C. Barry Jay, Delia Kesner
article
European Symposium on Programming (ESOP), 2006, Vienna, Austria. pp.100-114
Accès au bibtex
BibTex
titre
Strong cut-elimination systems for Hudelmaier's depth-bounded sequent calculus for implicational logic
auteur
Roy Dyckhoff, Delia Kesner, Stéphane Lengrand
article
International Joint Conference on Automated Reasoning (IJCAR), 2006, Seattle, United States. pp.347--361
Accès au bibtex
BibTex
titre
Polymorphic Regular Tree Types and Patterns
auteur
Jérôme Vouillon
article
33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, 2006, Charleston, United States. pp.103-114, ⟨10.1145/1111037.1111047⟩
Accès au bibtex
BibTex
titre
An analysis of innocent interaction
auteur
Russ Harmer
article
2nd International Workshop on Games for Logic and Programming Languages (GALOP), 2006, Seattle, United States
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00150355/file/galop06.pdf BibTex
titre
Asynchronous sources of information
auteur
Samy Abbes
article
2nd IEEE International Conference on Information & Communication Technologies: from Theory to Applications, 2006, Damas, Syria
Accès au bibtex
BibTex
titre
Obsessional cliques: a semantic characterization of bounded time complexity
auteur
Olivier Laurent, Lorenzo Tortora de Falco
article
2006, pp.179-188, ⟨10.1109/LICS.2006.37⟩
Accès au bibtex
BibTex

Chapitre d'ouvrage

titre
Linear Logic
auteur
Roberto Di Cosmo, Dale Miller
article
Edward N. Zalta. The Stanford Encyclopedia of Philosophy, The Metaphysics Research Lab Center for the Study of Language and Information Stanford University Stanford, CA 94305-4115, http://plato.stanford.edu/archives/fall2006/entries/logic-linear/, 2006
Accès au bibtex
BibTex

Cours

titre
Realizability: a machine for Analysis and Set Theory
auteur
Jean-Louis Krivine
article
École thématique. Université de Luminy Février 2006, 2006, pp.106
Accès au texte intégral et bibtex
https://cel.archives-ouvertes.fr/cel-00154509/file/Geocal06.pdf BibTex

Rapport

titre
EDOS deliverable WP2-D2.2: Report on Formal Management of Software Dependencies
auteur
Roberto Di Cosmo
article
[Technical Report] 2006
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00697468/file/edos-wp2d2.pdf BibTex

Thèse

titre
Étude d'un formalisme concurrent pour les phénomènes d'auto-organisation et la biologie moléculaire
auteur
Fabien Tarissan
article
Autre [cs.OH]. Université Paris-Diderot - Paris VII, 2006. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00151001/file/these.pdf BibTex
titre
Normalisation & Equivalence in Proof Theory & Type Theory
auteur
Stéphane Lengrand
article
Mathematics [math]. Université Paris-Diderot - Paris VII; University of St Andrews, 2006. English
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00134646/file/FrenchEnglish.pdf BibTex
titre
Typage et contrôle de la mobilité
auteur
Samuel Hym
article
Autre [cs.OH]. Université Paris-Diderot - Paris VII, 2006. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00140652/file/Hym_Typage_et_controle_de_la_mobilite_these_.pdf BibTex

Pré-publication, Document de travail

titre
Patterns as first-class citizens
auteur
C. Barry Jay, Delia Kesner
article
2006
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00229331/file/technical-report-31-1-08.pdf BibTex
titre
On differential interaction nets and the pi-calculus
auteur
Thomas Ehrhard, Olivier Laurent
article
2006
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00096280/file/processes.pdf BibTex
titre
De l'opérateur de trace dans les jeux de Conway
auteur
Nicolas Tabareau
article
2006
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00086635/file/rapport_dea.pdf BibTex

2005

Article dans une revue

titre
Robust and parsimonious realisations of unitaries in the one-way model
auteur
Vincent Danos, Elham Kashefi, Prakash Panangaden
article
Physical Review A, American Physical Society, 2005, 72 (6), pp.article 064301. ⟨10.1103/PhysRevA.72.064301⟩
Accès au bibtex
BibTex
titre
Flow does not model flows up to weak dihomotopy
auteur
Philippe Gaucher
article
Applied Categorical Structures, Springer Verlag (Germany), 2005, 13 (5-6), pp.371-388
Accès au bibtex
BibTex
titre
Sequential algorithms and strongly stable functions
auteur
Paul-André Melliès
article
Theoretical Computer Science, Elsevier, 2005, 343 (1-2), pp.237-281. ⟨10.1016/j.tcs.2005.05.015⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00154206/file/collapse.pdf BibTex
titre
Finiteness spaces
auteur
Thomas Ehrhard
article
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2005, 15 (4), pp.615-646. ⟨10.1017/S0960129504004645⟩
Accès au bibtex
BibTex
titre
Homological properties of non-deterministic branchings and mergings in higher dimensional automata
auteur
Philippe Gaucher
article
Homology, Homotopy and Applications(HHA), International Press of Boston, Inc., 2005, 7 (1), pp.51-76
Accès au bibtex
BibTex
titre
Comparing globular complex and flow
auteur
Philippe Gaucher
article
The New York Journal of Mathematics, 2005, 11, pp.97-150
Accès au bibtex
BibTex
titre
Introduction to linear logic and ludics, part I
auteur
Pierre-Louis Curien
article
Advances in polymer science, Springer Verlag, 2005, 34 (5), pp.513-544
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00003920/file/LL-ludintroI.pdf BibTex
titre
de Bruijn Indices for MetaTerms
auteur
Eduardo Bonelli, Delia Kesner, Alejandro Ríos
article
Journal of Logic and Computation, Oxford University Press (OUP), 2005, 15, pp.855-899
Accès au bibtex
BibTex
titre
Classical isomorphisms of types
auteur
Olivier Laurent
article
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2005, 15, pp.969-1004. ⟨10.1017/S0960129505004895⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00003761/file/18_0304pp_Laurent.pdf BibTex
titre
Relating Higher-Order and First-Order Rewriting
auteur
Eduardo Bonelli, Delia Kesner, Alejandro Ríos
article
Journal of Logic and Computation, Oxford University Press (OUP), 2005, 15, pp.901-947
Accès au bibtex
BibTex
titre
Regular expression types for XML
auteur
Haruo Hosoya, Jérôme Vouillon, Benjamin Pierce
article
ACM Transactions on Programming Languages and Systems (TOPLAS), ACM, 2005, 27 (1), pp.46-90. ⟨10.1145/1053468.1053470⟩
Accès au bibtex
BibTex
titre
Syntax vs. Semantics: a polarized approach
auteur
Olivier Laurent
article
Theoretical Computer Science, Elsevier, 2005, 343, pp.177-206. ⟨10.1016/j.tcs.2005.05.012⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00003759/file/17_0304pp_Laurent.pdf BibTex

Communication dans un congrès

titre
Replication Model for Designing Multi-Player Games Interactions
auteur
Anne-Gwenn Bosser
article
CGAMES'05, Nov 2005, Angoulême, France. 8 p
Accès au bibtex
BibTex
titre
Domain Decomposition and Skeleton Programming with OCamlP3l
auteur
François Clément, Vincent Martin, Arnaud Vodicka, Roberto Di Cosmo, Pierre Weis
article
Proceedings of the International Conference ParCo 2005, Sep 2005, France. pp.811-818
Accès au bibtex
BibTex
titre
A practical application of geometric semantics to the static analysis of concurrent programs
auteur
Eric Goubault
article
CONCUR 2005, Sep 2005, San Francisco, United States. pp.503-517, ⟨10.1007/11539452_38⟩
Accès au bibtex
BibTex
titre
Weak Probabilistic Anonymity
auteur
Yuxin Deng, Catuscia Palamidessi, Jun Pang
article
3rd International Workshop on Security Issues in Concurrency (SecCo), Aug 2005, San Francisco, United States. pp.55-76, ⟨10.1016/j.entcs.2005.05.043⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00200912/file/report_wa.pdf BibTex
titre
Typing Aberrance in Signal Transduction
auteur
Min Zhang, Guoqiang Li, Fuxi Fu, Zhizhou Zhang, Lin He
article
ICNC'05, Aug 2005, Chang Sha, China. pp.668-677, ⟨10.1007/11539902⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00155502/file/P1877.pdf BibTex
titre
EDOS: Environment for the Development and Distribution of Open Source Software
auteur
Serge Abiteboul, Xavier Leroy, Boris Vrdoljak, Ciaran Bryce, Roberto Di Cosmo, Klaus R. Dittrich, Stéphane Fermigier, Tova Milo, Assaf Sagi, Yotam Shtossel, Stéphane Laurière, Frédéric Lepied, Radu Pop, Eleonora Panto, Jean-Paul Smets
article
OSS 2005 - The First International Conference on Open Source Systems, Jul 2005, Genova, Italy
Accès au bibtex
BibTex
titre
HirondML : Fair Threads Migrations for Objective Caml
auteur
Emmanuel Chailloux, Julien Verlaguet
article
Third Workshop on High-Level Parallel Programming and Applications, Jul 2005, United Kingdom
Accès au bibtex
BibTex
titre
Skeletal parallel programming with OCamlP3L 2.0
auteur
Roberto Di Cosmo, Zheng Li, Susanna Pelagatti, Pierre Weis
article
Proceedings of Third International Workshop on High-level Parallel Programming and Applications (HLPP 2005), Jul 2005, Warwick, United Kingdom
Accès au bibtex
BibTex
titre
On Two Forms of Bureaucracy in Derivations
auteur
Kai Bruennler, Stéphane Lengrand
article
Structures and Deductions (SD'05), Jul 2005, Lisbon, Portugal. pp.75 - 86
Accès au bibtex
BibTex
titre
Separation with streams in the $\Lambda\mu$-calculus
auteur
Alexis Saurin
article
20th Annual IEEE Symposium on Logic In Computer Science - LICS 2005, Jun 2005, Chicago, United States. pp.356-365, ⟨10.1109/LICS.2005.48⟩
Accès au bibtex
BibTex
titre
Asynchronous games 4 : A fully complete model of propositional linear logic
auteur
Paul-André Melliès
article
LiCS 2005 -- Logic in Computer Science, Jun 2005, United States. pp.386-395
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00154301/file/ag4-lics-3.pdf BibTex
titre
Objective Caml on .NET: The OCamIL Compiler and Toplevel
auteur
Raphaël Montelatici, Emmanuel Chailloux, Bruno Pagano
article
May 2005, pp.109-120
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00003784/file/29_0404pp_Montelatici.pdf BibTex
titre
A game semantics for proof search, preliminary results
auteur
Alexis Saurin, Dale Miller
article
Twenty-first Conference on the Mathematical Foundations of Programming Semantics - MFPS XXI, May 2005, Birmingham, United Kingdom. pp.543-563, ⟨10.1016/j.entcs.2005.11.072⟩
Accès au bibtex
BibTex
titre
Subtyping Recursive Types Modulo Associative Commutative Products
auteur
Roberto Di Cosmo, Didier Rémy, François Pottier
article
7th International Conference, TLCA 2005, Apr 2005, Nara, Japan. pp.179-193, ⟨10.1007/11417170_14⟩
Accès au bibtex
BibTex
titre
Relational Reasoning in a Nominal Semantics for Storage
auteur
Nick Benton, Benjamin Leperchey
article
Apr 2005, pp.86--101
Accès au bibtex
BibTex
titre
Lambda Mu Calculus and Duality: Call-by-Name and Call-by-Value
auteur
Jérôme Rocheteau
article
Rewriting Techniques and Applications, Apr 2005, Nara, Japan. pp.204-218
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00153935/file/rocheteau-rta05.pdf BibTex
titre
Axiomatizations for probabilistic finite-state behaviors
auteur
Yuxin Deng, Catuscia Palamidessi
article
8th International Conference on Foundations of Software Science and Computational Structures (FOSSACS 2005), Apr 2005, Edinburgh, United Kingdom. pp.110-124, ⟨10.1007/b106850⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00201123/file/fossacs05.pdf BibTex
titre
Branching cells as local states for event structures and nets: probabilistic applications
auteur
Samy Abbes, Albert Benveniste
article
Foundations of Software Science and Computation Structures, Apr 2005, Edinburgh, United Kingdom. pp.95-109
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00350930/file/2005-branching.cells-abbes.benveniste-FOSSACS.pdf BibTex
titre
Metrics for Action-labelled Quantitative Transition Systems
auteur
Yuxin Deng, Tom Chothia, Catuscia Palamidessi, Jun Pang
article
Third Workshop on Quantitative Aspects of Programming Languages (QAPL 2005), Apr 2005, Edinburgh, United Kingdom. pp.79-96, ⟨10.1016/j.entcs.2005.10.033⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00201087/file/gts.pdf BibTex
titre
Intruder Deduction for AC-like Equational Theories with Homomorphisms
auteur
Pascal Lafourcade, Denis Lugiez, Ralf Treinen
article
Term Rewriting and Applications, 16th International Conference, RTA'05, Apr 2005, Nara, Japan
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01759946/file/Rapport.pdf BibTex
titre
Axiomatizations for probabilistic finite-state behaviors
auteur
Yuxin Deng
article
Feb 2005, pp.110-124
Accès au bibtex
BibTex
titre
The Equational Theory of ( N , 0, 1, +, ×, uparrow ) Is Decidable, but Not Finitely Axiomatisable
auteur
Roberto Di Cosmo, Thomas Dufour
article
11th International Conference, LPAR 2004, Feb 2005, Montevideo, Uruguay. pp.240-256, ⟨10.1007/b106931⟩
Accès au bibtex
BibTex
titre
Massively Multiplayer Online Games: matching Game Design with Technical Design (extended version)
auteur
Anne-Gwenn Bosser
article
IMAGINA Prix du Jeune Chercheur, Feb 2005, Monaco, Monaco
Accès au bibtex
BibTex
titre
Recursive Polymorphic Types and Parametricity in an Operational Framework
auteur
Paul-André Melliès, Jérôme Vouillon
article
2005, pp.82-91, ⟨10.1109/LICS.2005.42⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00150965/file/30_0409pp_Mellies.pdf BibTex
titre
Self-assembling Graphs
auteur
Vincent Danos, Fabien Tarissan
article
International Work-conference on the Interplay between Natural and Artificial Computation (IWINAC'05), 2005, Las Palmas de Gran Canaria, Spain. pp.498-507, ⟨10.1007/b137289⟩
Accès au bibtex
BibTex
titre
Transactions in RCCS
auteur
Vincent Danos, Jean Krivine
article
Sixteenth International Conference on Concurrency Theory (CONCUR'05), 2005, United Kingdom. pp.398-412
Accès au bibtex
BibTex
titre
Affine strategies in arena games
auteur
Russ Harmer
article
1st International Workshop on Games for Logic and Programming Languages, 2005, Edinburgh, United Kingdom
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00013015/file/affsag.pdf BibTex
titre
The (true) concurrent Markov property and some applications to Markov nets
auteur
Samy Abbes
article
International Conference on Theory and Applications of Petri Nets, 2005, Miami, United States. pp.70-89
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00350506/file/icatpn05.pdf BibTex
titre
Extending the Explicit Substitution Paradigm
auteur
Delia Kesner, Stéphane Lengrand
article
International Conference on Rewriting Techniques and Applications (RTA), 2005, Nara, Japan. pp.407-422
Accès au bibtex
BibTex

Chapitre d'ouvrage

titre
Compositional Reasoning for Probabilistic Finite-State Behaviors
auteur
Yuxin Deng
article
Aart Middeldorp and Vincent van Oostrom and Femke van Raamsdonk and Roel C. de Vrijer. Processes, Terms and Cycles: Steps on the Road to Infinity, Essays Dedicated to Jan Willem Klop, on the Occasion of His 60th Birthday, Springer-Verlag, pp.309-337, 2005
Accès au bibtex
BibTex
titre
Axiomatic Rewriting Theory I : A Diagrammatic Standardization Theorem
auteur
Paul-André Melliès
article
Aart Middeldorp and Vincent van Oostrom and Femke van Raamsdonk and Roel C. de Vrijer. Processes, Terms and Cycles: Steps on the Road to Infinity, Essays Dedicated to Jan Willem Klop, on the Occasion of His 60th Birthday., Springer Verlag, pp.554-638, 2005
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00151276/file/jwkfestschrift.pdf BibTex
titre
Compositional Reasoning for Probabilistic Finite-State Behaviors
auteur
Yuxin Deng, Catuscia Palamidessi, Jun Pang
article
Aart Middeldorp and Vincent van Oostrom and Femke van Raamsdonk and Roel C. de Vrijer. Processes, Terms and Cycles: Steps on the Road to Infinity, 3838, Springer, pp.309-337, 2005, Lecture Notes in Computer Science, ⟨10.1007/11601548_17⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00201100/file/par.pdf BibTex
titre
Expression Reduction Systems and Extensions: An Overview
auteur
John Glauert, Delia Kesner, Zurab Khasidashvili
article
Aart Middeldorp and Vincent van Oostrom and Femke van Raamsdonk and Roel C. de Vrijer. Processes, Terms and Cycles: Steps on the Road to Infinity, Essays Dedicated to Jan Willem Klop, on the Occasion of His 60th Birthday, Springer-Verlag, pp.496-553, 2005
Accès au bibtex
BibTex

Direction d'ouvrage, Proceedings, Dossier

titre
Modelling and Verification of Cryptographic Protocols
auteur
Roberto M. Amadio
article
Elsevier, Journal of Logic and Algebraic Programming, volume 64, issue 2, pages 155-320, pp.165, 2005
Accès au bibtex
BibTex

Autre publication

titre
Parametric mixed sequent calculus
auteur
Karim Nour, Olivier Laurent
article
2005
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00382689/file/MLP3.pdf BibTex

Rapport

titre
EDOS deliverable WP2-D2.1: Report on Formal Management of Software Dependencies
auteur
Roberto Di Cosmo
article
[Technical Report] 2005
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00697463/file/edos-wp2d1.pdf BibTex

Thèse

titre
Sur la notion d'observation en sémantique
auteur
Benjamin Leperchey
article
Autre [cs.OH]. Université Paris-Diderot - Paris VII, 2005. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00102637/file/these.pdf BibTex
titre
Logique, Réalisabilité et Concurrence
auteur
Emmanuel Beffara
article
Mathématiques [math]. Université Paris-Diderot - Paris VII, 2005. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00011205/file/main.pdf BibTex
titre
Réplications distribuées pour la définition des interactions de jeux massivement multi-joueurs
auteur
Anne-Gwenn Bosser
article
Autre [cs.OH]. Université Paris-Diderot - Paris VII, 2005. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00011489/file/main.pdf BibTex
titre
Topologie Algébrique Dirigée et Concurrence
auteur
Emmanuel Haucourt
article
Autre [cs.OH]. Université Paris-Diderot - Paris VII, 2005. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00172472/file/these_Emmanuel_Haucourt.pdf BibTex
titre
Axiomatisations and Types for Probabilistic and Mobile Processes
auteur
Yuxin Deng
article
Modeling and Simulation. École Nationale Supérieure des Mines de Paris, 2005. English
Accès au texte intégral et bibtex
https://pastel.archives-ouvertes.fr/tel-00155225/file/main.pdf BibTex
titre
Type-based static analysis of structural properties in programming languages
auteur
Francisco Alberti
article
Software Engineering [cs.SE]. Université Paris-Diderot - Paris VII, 2005. English
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00010369/file/tel-00010369.pdf BibTex

Pré-publication, Document de travail

titre
Induction principles as the foundation of the theory of normalisation: Concepts and Techniques
auteur
Stéphane Lengrand
article
2005
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00004358/file/SNInd.pdf BibTex
titre
No-counterexample interpretation et spécification des théorèmes de l'arithmétique
auteur
Denis Bonnay
article
2005
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00004054/file/bonnayncispecification.pdf BibTex

2004

Article dans une revue

titre
Components of the fundamental category
auteur
Eric Goubault
article
Applied Categorical Structures, Springer Verlag (Germany), 2004, 12 (1), pp.81-108
Accès au bibtex
BibTex
titre
Formal Molecular Biology
auteur
Vincent Danos, Cosimo Laneve
article
Theoretical Computer Science, Elsevier, 2004, 325 (1), pp.69-110. ⟨10.1016/j.tcs.2004.03.065⟩
Accès au bibtex
BibTex
titre
Modeling and Querying biological networks
auteur
Nathalie Chabrier, Marc Chiaverini, Vincent Danos, Francois Fages, Vincent Schachter
article
Theoretical Computer Science, Elsevier, 2004, 325 (1), pp.25-44. ⟨10.1016/j.tcs.2004.03.063⟩
Accès au bibtex
BibTex
titre
Labeled Markov processes: stronger and faster approximations
auteur
Vincent Danos, Josée Desharnais, Prakash Panangaden
article
Electronic Notes in Theoretical Computer Science, Elsevier, 2004, 87, pp.157-203
Accès au bibtex
BibTex
titre
Comparing hierarchies of types in models of linear logic
auteur
Paul-André Melliès
article
Information and Computation, Elsevier, 2004, 189 (2), pp.202-234
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00154200/file/coercions.pdf BibTex
titre
Pattern matching as cut elimination
auteur
Serenella Cerrito, Delia Kesner
article
Theoretical Computer Science, Elsevier, 2004, 323 (1-3), pp.71--127
Accès au bibtex
BibTex
titre
O'Jacare : une interface objet entre Objective Caml et Java
auteur
Emmanuel Chailloux, Grégoire Henry
article
Revue des Sciences et Technologies de l'Information - Série L'Objet : logiciel, bases de données, réseaux, Hermès-Lavoisier, 2004, 10 (2-3), pp.75-88
Accès au bibtex
BibTex
titre
Interopérabilité avec Objective Caml
auteur
Emmanuel Chailloux, Grégoire Henry, Raphaël Montelatici
article
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2004, 24 (9), pp.1055-1080
Accès au bibtex
BibTex
titre
Intersection types for explicit substitutions
auteur
Stéphane Lengrand, Pierre Lescanne, Dan Dougherty, Mariangiola Dezani, Steffen van Bakel
article
Information and Computation, Elsevier, 2004, 189 (1), pp.17 - 42
Accès au bibtex
BibTex
titre
Building continuous webbed models for System F
auteur
Stefano Berardi, Chantal Berline
article
Theoretical Computer Science, Elsevier, 2004, 315, pp.3-34
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00003750/file/Berardi-Berline-building-hal.pdf BibTex

Communication dans un congrès

titre
Representation of the Signal Transduction with Aberrance Using Ipi Calculus
auteur
Min Zhang, Guoqiang Li, Fuxi Fu, Zhizhou Zhang, Lin He
article
First International Symposium, CIS 2004, Dec 2004, Shanghai, China. pp.477-485, ⟨10.1007/b104566⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00155354/file/ZhangLiFu-CIS04.pdf BibTex
titre
On timed automata with input-determined guards
auteur
Deepak d'Souza, Nicolas Tabareau
article
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems, Sep 2004, France. pp.68-83, ⟨10.1007/b100824⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00017462/file/idta.pdf BibTex
titre
Asynchronous games 2: the true concurrency of innocence
auteur
Paul-André Melliès
article
CONCUR 2004 -- Concurrency Theory, Sep 2004, Londres, United Kingdom. pp.448-465
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00154286/file/innocent.pdf BibTex
titre
Ensuring termination by typability
auteur
Yuxin Deng
article
Aug 2004, pp.619-632
Accès au bibtex
BibTex
titre
Towards an algebraic theory of typed mobile processes
auteur
Yuxin Deng
article
Jul 2004, pp.445-456
Accès au bibtex
BibTex
titre
Massively multi-player games: matching game design with technical design
auteur
Anne-Gwenn Bosser
article
Advances in Computer Entertainment technology, Jun 2004, Singapore, Singapore. pp.263-268, ⟨10.1145/1067343.1067378⟩
Accès au bibtex
BibTex
titre
Deriving strong normalisation
auteur
Stéphane Lengrand
article
Higher-Order Rewriting (HOR'04), Jun 2004, Aachen, Germany. pp.84 - 88
Accès au bibtex
BibTex
titre
Mixing the Objective Caml and C# Programming Models in the .Net Framework
auteur
Emmanuel Chailloux, Grégoire Henry, Raphaël Montelatici
article
Workshop on Multiparadigm Programming with Object-Oriented Languages (MPOOL), Jun 2004, Oslo, Norway
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00145420/file/mpool.pdf BibTex
titre
OCAMiL un compilateur Objective Caml pour .NET
auteur
Raphaël Montelatici, Emmanuel Chailloux, Bruno Pagano
article
Conférence Internationale des chercheurs vietnamiens et Francophones en Informatique (RIVF'04), Feb 2004, Vietnam
Accès au bibtex
BibTex
titre
Applications du toplevel embarqué d'Objective Caml
auteur
Clément Capel, Emmanuel Chailloux, Jean-Marc Eber
article
Jan 2004, pp.91-106
Accès au bibtex
BibTex
titre
Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums
auteur
Vincent Balat, Roberto Di Cosmo, Marcelo Fiore
article
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Jan 2004, pp.64-76, ⟨10.1145/964001.964007⟩
Accès au bibtex
BibTex
titre
Ocaml-templates, méta-programmation à partir des types
auteur
François Maurel
article
Journées francophones des langages applicatifs, Jan 2004, Sainte-Marie-de-Ré, France. pp.21-36
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00153820/file/ocamltemplates.pdf BibTex
titre
Reversible Communicating Systems
auteur
Vincent Danos, Jean Krivine
article
CONCUR, 2004, Londres, United Kingdom. pp.292-307
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00784051/file/RCCS.pdf BibTex
titre
Strong normalization of lambda-bar-mu-mu-tilde-calculus with explicit substitutions
auteur
Emmanuel Polonovski
article
FOSSACS, 2004, Barcelona, Spain. pp.423-437
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00004321/file/fossacs04.pdf BibTex
titre
Asynchronous games 3 : An innocent model of linear logic
auteur
Paul-André Melliès
article
CTCS 2004 -- Category Theory and Computer Science, 2004, Copenhague, Denmark. pp.171-192, ⟨10.1016/j.entcs.2004.06.057⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00154294/file/ag3-ctcs.pdf BibTex
titre
Projective brane calculus
auteur
Vincent Danos, Sylvain Pradalier
article
International Conference on Computational Methods in Systems Biology (CMSB 2004), 2004, France. pp.134-148
Accès au bibtex
BibTex
titre
The Sensible Graph Theories of Lambda Calculus
auteur
Antonio Bucciarelli, Antonino Salibra
article
Logic in Computer Science, 2004, Turku, Finland. pp.276-285
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00149558/file/sensiblelt.pdf BibTex
titre
Semantic Types: A fresh look at the ideal model for types
auteur
Jérôme Vouillon, Paul-André Melliès
article
Principles of Programming Languages,, 2004, Venezia, Italy. pp.52-63, ⟨10.1145/982962.964006⟩
Accès au bibtex
BibTex
titre
PSN implies SN
auteur
Emmanuel Polonovski
article
HOR, 2004, Aachen, Germany. pp.78-83
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00384961/file/hor04.pdf BibTex
titre
Hypergraphs and degrees of parallelism, a completeness result
auteur
Antonio Bucciarelli, Benjamin Leperchey
article
Foundations of Software Science and Computation Structures 7th International Conference, FOSSACS 2004, 2004, Barcelone, Spain. pp.58-71
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00003584/file/24_0310pp_Bucciarelli.pdf BibTex
titre
A Petri net model for distributed estimation
auteur
Samy Abbes, Albert Benveniste, Stefan Haar
article
Sixteenth International Symposium on Mathematical Theory of Networks and Systems, 2004, Louvain, Belgium. pp.ISBN 90-5682-517-8
Accès au bibtex
BibTex
titre
Subtyping Union Types
auteur
Jérôme Vouillon
article
2004, pp.415 - 429, ⟨10.1007/b100120⟩
Accès au bibtex
BibTex
titre
Concurrent nets: a study of prefixing in process calculi
auteur
Emmanuel Beffara, François Maurel
article
2004, pp.67-86, ⟨10.1016/j.entcs.2004.11.029⟩
Accès au bibtex
BibTex

Chapitre d'ouvrage

titre
A topological correctness criterion for non-commutative logic
auteur
Paul-André Melliès
article
Thomas Ehrhard and Jean-Yves Girard and Paul Ruet and Philip Scott. Linear Logic in Computer Science, Cambridge University Press, pp.283-323, 2004, London Mathematical Society, Lecture Note Series 316
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00154204/file/critere.pdf BibTex

Thèse

titre
Jeux abstraits et composition catégorique
auteur
Michel Hirschowitz
article
Autre [cs.OH]. Université Paris-Diderot - Paris VII, 2004. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00008275/file/tel-00008275.pdf BibTex
titre
Un cadre quantitatif pour la Ludique
auteur
François Maurel
article
Autre [cs.OH]. Université Paris-Diderot - Paris VII, 2004. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00152476/file/theseFM.pdf BibTex
titre
Subsitutions explicites, logique et normalisation
auteur
Emmanuel Polonovski
article
Modélisation et simulation. Université Paris-Diderot - Paris VII, 2004. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00007962/file/tel-00007962.pdf BibTex

Pré-publication, Document de travail

titre
State monads and their algebras
auteur
François Métayer
article
2004
Accès au bibtex
https://arxiv.org/pdf/math.CT/0407251 BibTex
titre
Time and Games
auteur
Benjamin Leperchey
article
2004
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00003582/file/27_0402pp_Lerperchey.pdf BibTex

2003

Article dans une revue

titre
A model category for the homotopy theory of concurrency
auteur
Philippe Gaucher
article
Homology, Homotopy and Applications(HHA), International Press of Boston, Inc., 2003, 5 (1), pp.549-599
Accès au bibtex
BibTex
titre
Dependent choice, `quote' and the clock
auteur
Jean-Louis Krivine
article
Theoretical Computer Science, Elsevier, 2003, 308 (1-3), pp.259-276. ⟨10.1016/S0304-3975(02)00776-4⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00154478/file/Quot_tcs.pdf BibTex
titre
A Calculus for Dense Array Distributions
auteur
Roberto Di Cosmo, Susanna Pelagatti
article
Parallel Processing Letters, World Scientific Publishing, 2003, 13 (3), pp.377-388. ⟨10.1142/S0129626403001355⟩
Accès au bibtex
BibTex
titre
A portable implementation for Objective Caml flight
auteur
Emmanuel Chailloux, Christian Foisy
article
Parallel Processing Letters, World Scientific Publishing, 2003, 13 (3), pp.425-436
Accès au bibtex
BibTex
titre
Resolutions by Polygraphs
auteur
François Métayer
article
Theory and Applications of Categories, Mount Allison University, 2003, 11 (7), pp.148-184
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00148349/file/resol.pdf BibTex
titre
Some geometric perspectives on concurrency theory
auteur
Eric Goubault
article
Homology, Homotopy and Applications(HHA), International Press of Boston, Inc., 2003, 5 (2), pp.95-136
Accès au bibtex
BibTex
titre
Symmetry and interactivity in Programming
auteur
Pierre-Louis Curien
article
Bulletin of Symbolic Logic, Association for Symbolic Logic, 2003, 9 (2), pp.169-180
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00003868/file/sym-inter.pdf BibTex
titre
Proof Nets and Explicit Substitutions
auteur
Roberto Di Cosmo, Delia Kesner, Emmanuel Polonovski
article
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2003, 13 (3), pp.409--450
Accès au bibtex
BibTex

Communication dans un congrès

titre
Call-by-value, call-by-name, and strong normalization for the classical sequent calculus
auteur
Stéphane Lengrand
article
Nov 2003, pp.714-730
Accès au bibtex
BibTex
titre
Conditional expectations and the approximation of labeled Markov processes
auteur
Vincent Danos, Josée Desharnais, Prakash Panangaden
article
CONCUR'03, Sep 2003, France. pp.477-491
Accès au bibtex
BibTex
titre
Formal Molecular Biology done in CCS
auteur
Vincent Danos, Jean Krivine
article
BIO-CONCUR'03, Sep 2003, France. pp.31-49
Accès au bibtex
BibTex
titre
Relative Definability and Models of Unary PCF
auteur
Antonio Bucciarelli, Benjamin Leperchey, Vincent Padovani
article
Jun 2003, pp.75--89
Accès au bibtex
BibTex
titre
A portable Implementation for Objective Caml Flight
auteur
Emmanuel Chailloux, Christian Foisy
article
Second Workshop on High-Level Parallel Programming and Applications, Jun 2003, France
Accès au bibtex
BibTex
titre
L'experience SCOL, un langage pour des applications internet multi-utilisateur
auteur
Anne-Gwenn Bosser, Francisco Alberti
article
Journees Francophones des Langages Applicatifs, Jan 2003, Chamrousse, France. pp.125-138
Accès au bibtex
BibTex
titre
Labeled Markov processes: stronger and faster approximations
auteur
Vincent Danos, Josée Desharnais
article
18th IEEE Symposium on Logic in Computer Science (LICS 2003), 2003, Canada. pp.341-350
Accès au bibtex
BibTex
titre
A Fixpoint Logic for Labeled Markov Processes
auteur
Vincent Danos, Josée Desharnais
article
International Workshop Fixed Points in Computer Science (FICS'03), 2003, Poland. pp.413-422
Accès au bibtex
BibTex
titre
Expression Reduction Systems with Patterns
auteur
Julien Forest, Delia Kesner
article
International Conference on Rewriting Techniques and Applications (RTA), 2003, Valencia, Spain. pp.107-122
Accès au bibtex
BibTex
titre
Disjunctive normal forms and local exceptions
auteur
Emmanuel Beffara, Vincent Danos
article
2003, pp.203-211, ⟨10.1145/944705.944724⟩
Accès au bibtex
BibTex
titre
About Translations of Classical Logic into Polarized Linear Logic
auteur
Olivier Laurent, Laurent Regnier
article
2003, pp.11-20, ⟨10.1109/LICS.2003.1210040⟩
Accès au bibtex
BibTex
titre
The Minimal Graph Model of Lambda Calculus
auteur
Antonio Bucciarelli, Antonino Salibra
article
Mathematical Foundations of Computer Science, 2003, Bratislava, Slovakia. pp.300-307
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00149557/file/minimal.pdf BibTex
titre
Relative definability and models of Unary PCF
auteur
Antonio Bucciarelli, Benjamin Leperchey, Vincent Padovani
article
Typed Lambda Calculi and Applications, 2003, Valencia, Spain. pp.75-89
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00149559/file/unary.pdf BibTex

Chapitre d'ouvrage

titre
Playful, streamlike computation
auteur
Pierre-Louis Curien
article
GQ Zhang and J. Lawson and Y.-M. Liu and M.-K. Luo. Domain theory, logic and computation, Kluwer Academic Publishers, pp.1-24, 2003
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00003869/file/playful.pdf BibTex

HDR

titre
PRATIQUE DES LANGAGES FONCTIONNELS TYPES
auteur
Emmanuel Chailloux
article
Autre [cs.OH]. Université Pierre et Marie Curie - Paris VI, 2003
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00009013/file/tel-00009013.pdf BibTex

Ouvrage (y compris édition critique et traduction)

titre
Unix: Programmation et Communication
auteur
Jean-Baptiste Yunès, Jean-Marie Rifflet
article
Dunod, pp.800, 2003
Accès au bibtex
BibTex

Thèse

titre
Conception et implémentation d'un système d'aide à la spécification et à la preuve de programmes ML
auteur
Sylvain Baro
article
Autre [cs.OH]. Université Paris-Diderot - Paris VII, 2003. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00008416/file/tel-00008416.pdf BibTex

Pré-publication, Document de travail

titre
Mac Lane's coherence theorem expressed as a word problem
auteur
Paul-André Melliès
article
2003
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00154213/file/25_0310mn_Mellies.pdf BibTex
titre
Categorical models of linear logic revisited
auteur
Paul-André Melliès
article
2003
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00154229/file/catmodels.pdf BibTex
titre
Realizability with constants
auteur
Emmanuel Beffara
article
2003
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00003724/file/19_0304pp_Beffara.pdf BibTex
titre
The qnu and qnuK calculi, name capture and control (Extended Abstract)
auteur
Sylvain Baro, François Maurel
article
2003
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00004196/file/16_0303pp_Baro.pdf BibTex

2002

Article dans une revue

titre
Remarks on isomorphisms in typed lambda calculi with empty and sum types
auteur
Marcelo Fiore, Roberto Di Cosmo, Vincent Balat
article
IEEE Symposium on Logic in Computer Science, 2002, pp.147. ⟨10.1109/LICS.2002.1029824⟩
Accès au bibtex
BibTex
titre
Beta-eta-complete models for System F
auteur
Stefano Berardi, Chantal Berline
article
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2002, 12, pp.823-874
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00003749/file/BB-complete290102.pdf BibTex
titre
On Köthe Sequence Spaces and Linear Logic
auteur
Thomas Ehrhard
article
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2002, 12 (5), pp.579-623
Accès au bibtex
BibTex

Communication dans un congrès

titre
Un cédérom pour Scheme
auteur
Anne Brygoo, Titou Durand, Pascal Manoury, Christian Queinnec, Michèle Soria
article
TICE 2002 - Technologies de l'Information et de la Communication dans les Enseignements d'ingénieurs et dans l'industrie, Nov 2002, Villeurbanne, France. pp.223-231
Accès au texte intégral et bibtex
https://edutice.archives-ouvertes.fr/edutice-00000660/file/brygoo.pdf BibTex
titre
Polarized games
auteur
Olivier Laurent
article
2002, pp.265-274, ⟨10.1109/LICS.2002.1029835⟩
Accès au bibtex
BibTex

Cours

titre
Lambda-calculus types and models
auteur
Jean-Louis Krivine
article
DEA. Université Paris 7, 2002, pp.208
Accès au texte intégral et bibtex
https://cel.archives-ouvertes.fr/cel-00574575/file/Lambda.pdf BibTex

Thèse

titre
Généralisation des Jeux Combinatoires et Applications aux Langages Logiques
auteur
Jean-Vincent Loddo
article
Modélisation et simulation. Université Paris-Diderot - Paris VII, 2002. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00008272/file/tel-00008272.pdf BibTex

Pré-publication, Document de travail

titre
Lambda -mu calcul et dualité, appel par nom et appel par valeur
auteur
Jérôme Rocheteau
article
2002
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00003547/file/08_0210mn_Rocheteau.pdf BibTex
titre
Une Plate Forme Logique de Spécification et de Preuve de Programmes ML
auteur
Sylvain Baro
article
2002
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00004194/file/07_0209mn_Baro.pdf BibTex
titre
Un système X, Raisonner formellement sur les programmes ML
auteur
Sylvain Baro, Pascal Manoury
article
2002
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00004195/file/12_0212pp_Baro.pdf BibTex
titre
Interprétation calculatoire de la logique classique via le lambda-mu calcul et la machine de Krivine
auteur
Olivier Laurent
article
2002
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00003753/file/06_0209ln_Laurent.pdf BibTex

2001

Article dans une revue

titre
Grid structures and undecidable constraint theories
auteur
Franck Seynhaeve, Sophie Tison, Marc Tommasi, Ralf Treinen
article
Theoretical Computer Science, Elsevier, 2001, 258 (1-2), pp.453-490. ⟨10.1016/S0304-3975(00)00032-3⟩
Accès au bibtex
BibTex
titre
On phase semantics and denotational semantics: the exponentials
auteur
Thomas Ehrhard, Antonio Bucciarelli
article
Annals of Pure and Applied Logic, Elsevier Masson, 2001, 109 (3), pp.205-241
Accès au bibtex
BibTex

Communication dans un congrès

titre
Retracts in Simple Types
auteur
Vincent Padovani
article
Typed Lambda Calculi and Applications, 5th International Conference, TLCA 2001, May 2001, Krakow, Poland. pp.376-384
Accès au bibtex
BibTex

2000

Article dans une revue

titre
Decidability of fourth-order matching
auteur
Vincent Padovani
article
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2000, 10 (3), pp.361-372
Accès au bibtex
BibTex
titre
Parallel and serial hypercoherences
auteur
Thomas Ehrhard
article
Theoretical Computer Science, Elsevier, 2000, 247 (1-2), pp.39-81
Accès au bibtex
BibTex
titre
On Phase Semantics and Denotational Semantics in Multiplicative Additive Linear Logic
auteur
Thomas Ehrhard, Antonio Bucciarelli
article
Annals of Pure and Applied Logic, Elsevier Masson, 2000, 102 (3), pp.247-282
Accès au bibtex
BibTex

Communication dans un congrès

titre
The duality of computation
auteur
Hugo Herbelin, Pierre-Louis Curien
article
Fifth ACM SIGPLAN International Conference on Functional Programming : ICFP '00, Sep 2000, Montréal, Canada. pp.233-243
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00156377/file/icfp-CuHer00-duality_errata.pdf BibTex

Ouvrage (y compris édition critique et traduction)

titre
Développement d'applications avec Objective Caml
auteur
Pascal Manoury, Chailloux Emmanuel, Bruno Pagano
article
O'Reilly France, pp.400, 2000
Accès au bibtex
BibTex

1999

Article dans une revue

titre
A Relative PCF-Definability Result for Strongly Stable Functions and some Corollaries
auteur
Thomas Ehrhard
article
Information and Computation, Elsevier, 1999, 152 (1), pp.111-137
Accès au bibtex
BibTex

Communication dans un congrès

titre
Quantitative Semantics Revisited
auteur
Thomas Ehrhard, Nuno Barreiro
article
Typed Lambda Calculi and Applications, 4th International Conference, TLCA'99, Apr 1999, L'Aquila, Italy. pp.40-53
Accès au bibtex
BibTex

1997

Communication dans un congrès

titre
Timeless games
auteur
Thomas Ehrhard, Vincent Danos, Patrick Baillot, Laurent Regnier
article
Computer Science Logic, Aug 1997, Denmark. pp.56-77
Accès au bibtex
BibTex

1996

Article dans une revue

titre
Projecting Sequential Algorithms on Strongly Stable Functions
auteur
Thomas Ehrhard
article
Annals of Pure and Applied Logic, Elsevier Masson, 1996, 77 (3), pp.201-244
Accès au bibtex
BibTex

1995

Communication dans un congrès

titre
Decidability of All Minimal Models
auteur
Vincent Padovani
article
Types for Proofs and Programs, International Workshop TYPES'95, Jun 1995, Torino, Italy. pp.201-215
Accès au bibtex
BibTex
titre
On Equivalence Classes of Interpolation Equations
auteur
Vincent Padovani
article
Typed Lambda Calculi and Applications, Second International Conference on Typed Lambda Calculi and Applications, TLCA'95, Apr 1995, Edinburgh, United Kingdom. pp.335-349
Accès au bibtex
BibTex

1994

Article dans une revue

titre
Automatizing termination proofs of recursively defined functions
auteur
Pascal Manoury, Simonot Marianne
article
Theoretical Computer Science, Elsevier, 1994, pp 319-343
Accès au bibtex
BibTex

Communication dans un congrès

titre
On Strong Stability and Higher-Order Sequentiality
auteur
Thomas Ehrhard, Loic Colson
article
Ninth Annual IEEE Symposium on Logic in Computer Science, 4-7 July 1994, Paris, France, Jul 1994, Paris, France. pp.103-108
Accès au bibtex
BibTex

1964

Article dans une revue

titre
Anneaux préordonnés
auteur
Jean-Louis Krivine
article
Journal d'analyse mathématique, Springer, 1964, 12, p. 307-326
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00165658/file/Anneaux_preordonnes.pdf BibTex