2022
Article dans une revue
- titre
- The anatomy of the head muscles in caecilians (Amphibia: Gymnophiona): Variation in relation to phylogeny and ecology?
- auteur
- Aurélien Lowie, Barbara de Kegel, Mark Wilkinson, John Measey, James O'Reilly, Nathan Kley, Philippe Gaucher, Dominique Adriaens, Anthony Herrel
- article
- Journal of Anatomy, In press, ⟨10.1111/joa.13763⟩
- Accès au bibtex
-
Pré-publication, Document de travail
- titre
- TRIDENDRIFORM ALGEBRAS ON HYPERGRAPH POLYTOPES
- auteur
- Bérénice Delcroix-Oger, Pierre-Louis Curien, Jovana Obradović
- article
- 2022
- Accès au texte intégral et bibtex
-
- titre
- Rigidification of cubical quasi-categories
- auteur
- Pierre-Louis Curien, Muriel Livernet, Gabriel Saadia
- article
- 2022
- Accès au 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, 2021, 17 (3), pp. 21:1-21:22
- Accès au texte intégral et 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
-
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
-
- 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
-
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
-
- titre
- Compositionality of Rewriting Rules with Conditions
- auteur
- Nicolas Behr, Jean Krivine
- article
- 2020
- Accès au 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, 2019, pp.40. ⟨10.1016/j.jcss.2018.11.004⟩
- Accès au texte intégral et 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
-
- 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
-
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
-
2018
Article dans une revue
- titre
- (In)Efficiency and Reasonable Cost Models
- auteur
- Beniamino Accattoli
- article
- Electronic Notes in Theoretical Computer Science, 2018, 338, pp.23-43
- Accès au 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, 2018, 24 (49), pp.12920-12931. ⟨10.1002/chem.201801684⟩
- Accès au texte intégral et bibtex
-
- titre
- Full Abstraction for Probabilistic PCF
- auteur
- Thomas Ehrhard, Michele Pagani, Christine Tasson
- article
- Journal of the ACM (JACM), 2018, 65 (4), pp.1-44. ⟨10.1145/3164540⟩
- Accès au bibtex
-
- titre
- Transport of finiteness structures and applications
- auteur
- Christine Tasson, Lionel Vaux
- article
- Mathematical Structures in Computer Science, 2018, ⟨10.1017/S0960129516000384⟩
- Accès au texte intégral et bibtex
-
- titre
- Geometric and combinatorial views on asynchronous computability
- auteur
- Eric Goubault, Samuel Mimram, Christine Tasson
- article
- Distributed Computing, 2018, 31 (4), pp.289-316. ⟨10.1007/s00446-018-0328-4⟩
- Accès au texte intégral et bibtex
-
- titre
- Realizability algebras III : some examples
- auteur
- Jean-Louis Krivine
- article
- Mathematical Structures in Computer Science, 2018, 28 (1), pp. 45-76
- Accès au texte intégral et 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, 2018, 24 (1), pp.184-194. ⟨10.1109/TVCG.2017.2745280⟩
- Accès au texte intégral et 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
-
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
-
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, 2017, 2 (POPL), pp.1-28. ⟨10.1145/3158147⟩
- Accès au bibtex
-
- titre
- A formal language for cyclic operads
- auteur
- Pierre-Louis Curien, Jovana Obradovic
- article
- Higher Structures, 2017
- Accès au texte intégral et bibtex
-
- titre
- Free algebraic structures on the permutohedra
- auteur
- Emily Burgunder, Pierre-Louis Curien, Maria Ronco
- article
- Journal of Algebra, 2017, 487, pp.20-59
- Accès au 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, 2017, 1 (ICFP), pp.1 - 29. ⟨10.1145/3110264⟩
- Accès au bibtex
-
- titre
- Automata for Unordered Trees
- auteur
- Adrien Boiret, Vincent Hugot, Joachim Niehren, Ralf Treinen
- article
- Information and Computation, 2017, 253, pp.304-335 ⟨10.1016/j.ic.2016.07.012⟩
- Accès au texte intégral et 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, 2017, 27, ⟨10.1017/S0956796817000028⟩
- Accès au bibtex
-
Communication dans un congrès
- titre
- Miniaturization of Compensational Spring System using the Highly Nonlinear Curved beams in MEMS
- auteur
- Bogdan Vysotskyi, Denis Aubry, Philippe Gaucher, Elie Lefeuvre, Xavier Le Roux, Fabien Parrain
- article
- 28th Micromechanics and Microsystems Europe Workshop, Aug 2017, Uppsala, Sweden. ⟨10.1088/1742-6596/922/1/012012⟩
- Accès au texte intégral et bibtex
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
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
-
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
-
2016
Article dans une revue
- titre
- A synthetic axiomatization of Map Theory
- auteur
- Chantal Berline, Klaus Grue
- article
- Theoretical Computer Science, 2016, 614, pp.1-62. ⟨10.1016/j.tcs.2015.11.028⟩
- Accès au texte intégral et bibtex
-
- titre
- Contextual equivalences in configuration structures and reversibility
- auteur
- Clément Aubert, Ioana Cristescu
- article
- Journal of Logical and Algebraic Methods in Programming, 2016
- Accès au texte intégral et 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
-
- 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
-
- 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
-
- 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
-
- titre
- Classical by-need
- auteur
- Pierre-Marie Pédrot, Alexis Saurin
- article
- European Symposium on Programming, Apr 2016, Eindhoven, Netherlands
- Accès au 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
-
- 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
-
- 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
-
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
-
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
-
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
-
- titre
- The Bénabou-Roubaud monadic descent theorem via string diagrams
- auteur
- Jovana Obradovic
- article
- 2016
- Accès au bibtex
-
- titre
- On the various definitions of cyclic operads
- auteur
- Pierre-Louis Curien, Jovana Obradovic
- article
- 2016
- Accès au 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
-
2015
Article dans une revue
- titre
- Iterated Chromatic Subdivisions are Collapsible
- auteur
- Eric Goubault, Samuel Mimram, Christine Tasson
- article
- Applied Categorical Structures, 2015, 23, pp.777 - 818. ⟨10.1007/s10485-014-9383-6⟩
- Accès au bibtex
-
- titre
- Left determined model categories
- auteur
- Philippe Gaucher
- article
- New York Journal of Mathematics, 2015, 21, pp.1093-1115
- Accès au bibtex
-
- titre
- The choice of cofibrations of higher dimensional transition systems
- auteur
- Philippe Gaucher
- article
- New York Journal of Mathematics, 2015, 21, pp.1117-1151
- Accès au bibtex
-
- titre
- Uniform and Bernoulli measures on the boundary of trace monoids
- auteur
- Samy Abbes, Jean Mairesse
- article
- Journal of Combinatorial Theory, Series A, 2015, 135, pp.201-236. ⟨10.1016/j.jcta.2015.05.003⟩
- Accès au bibtex
-
- titre
- Enseigner et apprendre les sciences informatiques à l’école
- auteur
- Roberto Di Cosmo
- article
- Interstices, 2015
- Accès au 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, 2015, 290 (37), pp.22581-92
- Accès au bibtex
-
- titre
- A dependently-typed construction of semi-simplicial types
- auteur
- Hugo Herbelin
- article
- Mathematical Structures in Computer Science, 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
-
- titre
- Coherent presentations of Artin monoids
- auteur
- Stéphane Gaussent, Yves Guiraud, Philippe Malbos
- article
- Compositio Mathematica, 2015, 151 (5), pp.957-998. ⟨10.1112/S0010437X14007842⟩
- Accès au texte intégral et 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, 2015, 42 (supl), pp.2-21. ⟨10.1016/j.cl.2015.04.001⟩
- Accès au 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
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
-
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
-
Proceedings/Recueil des communications
- 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
-
Rapport
- titre
- OPAM for Coq
- auteur
- Guillaume Claret
- article
- [Technical Report] Inria - Paris 7. 2015
- Accès au texte intégral et 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
-
- 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
-
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. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- titre
- A Materialist Dialectica
- auteur
- Pierre-Marie Pédrot
- article
- Logic in Computer Science [cs.LO]. Paris Diderot, 2015. English. ⟨NNT : ⟩
- Accès au texte intégral et 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. ⟨NNT : ⟩
- Accès au texte intégral et 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
-
- 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
-
- titre
- An Isbell Duality Theorem for Type Refinement Systems
- auteur
- Paul-André Melliès, Noam Zeilberger
- article
- 2015
- Accès au 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
-
- 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
-
- titre
- Interaction Graphs: Full Linear Logic
- auteur
- Thomas Seiller
- article
- 2015
- Accès au texte intégral et bibtex
-
- titre
- A delay-based routing metric
- auteur
- Baptiste Jonglez, Matthieu Boutier, Juliusz Chroboczek
- article
- 2015
- Accès au texte intégral et bibtex
-
- titre
- Source-specific routing
- auteur
- Matthieu Boutier, Juliusz Chroboczek
- article
- 2015
- Accès au texte intégral et bibtex
-
- titre
- User-space Multipath UDP in Mosh
- auteur
- Matthieu Boutier, Juliusz Chroboczek
- article
- 2015
- Accès au texte intégral et 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
-
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, 2014, 10:4 (8), pp.40. ⟨10.2168/LMCS-10(4:8)2014⟩
- Accès au bibtex
-
- titre
- Formalisation mathématique, certification logicielle, même combat
- auteur
- Pierre-Louis Curien
- article
- Gazette des Mathématiciens, 2014, 142, pp.83-86
- Accès au bibtex
-
- titre
- Branching cells for asymmetric event structures
- auteur
- Samy Abbes
- article
- Theoretical Computer Science, 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
-
- titre
- Erratum to "Towards a homotopy theory of higher dimensional transition systems
- auteur
- Philippe Gaucher
- article
- Theory and Applications of Categories, 2014, 29, pp.17-20
- Accès au bibtex
-
- titre
- Homotopy Theory of Labelled Symmetric Precubical Sets
- auteur
- Philippe Gaucher
- article
- New York Journal of Mathematics, 2014, 20, pp.93-131
- Accès au bibtex
-
- titre
- Aeolus: a Component Model for the Cloud
- auteur
- Roberto Di Cosmo, Jacopo Mauro, Stefano Zacchiroli, Gianluigi Zavattaro
- article
- Information and Computation, 2014, pp.100-121
- Accès au texte intégral et bibtex
-
- titre
- Revisiting the categorical interpretation of dependent type theory
- auteur
- Pierre-Louis Curien, Richard Garner, Martin Hofmann
- article
- Theoretical Computer Science, 2014, 546, pp.99-119. ⟨10.1016/j.tcs.2014.03.003⟩
- Accès au 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- titre
- Universe Polymorphism in Coq
- auteur
- Matthieu Sozeau, Nicolas Tabareau
- article
- Interactive Theorem Proving, Jul 2014, Vienna, Austria
- Accès au 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
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
-
Ouvrages
- 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
-
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
-
- titre
- Quantitative Types for Intuitionistic Calculi
- auteur
- Delia Kesner, Daniel Ventura
- article
- 2014
- Accès au texte intégral et 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. ⟨NNT : ⟩
- Accès au texte intégral et 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
-
- 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
-
- titre
- Two- and three-cocycles for Laver tables
- auteur
- Patrick Dehornoy, Victoria Lebed
- article
- 2014
- Accès au texte intégral et bibtex
-
- titre
- Laver's results and low-dimensional topology
- auteur
- Patrick Dehornoy
- article
- 2014
- Accès au texte intégral et bibtex
-
- titre
- A local transform for trace monoids
- auteur
- Samy Abbes
- article
- 2014
- Accès au texte intégral et bibtex
-
2013
Article dans une revue
- titre
- Markov two-components processes
- auteur
- Samy Abbes
- article
- Logical Methods in Computer Science, 2013, 9 (2), pp.9 (2:14). ⟨10.2168/LMCS-9(2:14)2013⟩
- Accès au texte intégral et 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, 2013, 161 (7-8), pp.1106-1117. ⟨10.1016/j.dam.2012.10.022⟩
- Accès au texte intégral et 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
-
- 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, 2013, 38 (1), pp.1-45
- Accès au texte intégral et 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, 2013
- Accès au texte intégral et bibtex
-
- titre
- Identities among relations for higher-dimensional rewriting systems
- auteur
- Yves Guiraud, Philippe Malbos
- article
- Séminaires et congrès, 2013, 26, pp.145-161
- Accès au texte intégral et bibtex
-
- titre
- On Software Component Co-installability
- auteur
- Jérôme Vouillon, Roberto Di Cosmo
- article
- ACM Transactions on Software Engineering and Methodology, 2013, 22 (4), pp.34. ⟨10.1145/2522920.2522927⟩
- Accès au bibtex
-
- titre
- Factorization of products of hypergraphs: Structure and algorithms
- auteur
- Alain Bretto, Yannick Silvestre, Thierry Vallée
- article
- Theoretical Computer Science, 2013, 475, pp.47-58. ⟨10.1016/j.tcs.2012.12.050⟩
- Accès au texte intégral et bibtex
-
- titre
- From Bytecode to JavaScript: the Js_of_ocaml Compiler
- auteur
- Jérôme Vouillon, Vincent Balat
- article
- Software: Practice and Experience, 2013, pp.1. ⟨10.1002/spe.2187⟩
- Accès au 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
Ouvrages
- 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
-
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
-
- 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
-
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. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- titre
- PARAMETRIC POLYMORPHISM FOR XML PROCESSING LANGUAGES
- auteur
- Zhiwu Xu
- article
- Programming Languages [cs.PL]. Université Paris-Diderot - Paris VII, 2013. English. ⟨NNT : ⟩
- Accès au texte intégral et 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
-
- titre
- Simple simpl
- auteur
- Pierre Boutillier
- article
- 2013
- Accès au texte intégral et bibtex
-
- titre
- Univalence for free
- auteur
- Matthieu Sozeau, Nicolas Tabareau
- article
- 2013
- Accès au texte intégral et bibtex
-
2012
Article dans une revue
- titre
- Delimited control operators prove Double-negation Shift
- auteur
- Danko Ilik
- article
- Annals of Pure and Applied Logic, 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
-
- titre
- Böhm theorem and Böhm trees for the Lambda-mu-calculus
- auteur
- Alexis Saurin
- article
- Theoretical Computer Science, 2012, 435, pp.106-138. ⟨10.1016/j.tcs.2012.02.027⟩
- Accès au bibtex
-
- titre
- Continuation-passing Style Models Complete for Intuitionistic Logic
- auteur
- Danko Ilik
- article
- Annals of Pure and Applied Logic, 2012, ⟨10.1016/j.apal.2012.05.003⟩
- Accès au texte intégral et bibtex
-
- titre
- Pure Type System conversion is always typable
- auteur
- Vincent Siles, Hugo Herbelin
- article
- Journal of Functional Programming, 2012, 22 (2), pp.153 - 180. ⟨10.1017/S0956796812000044⟩
- Accès au texte intégral et 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, 2012, 216 (8-9), pp.2029-2048
- Accès au bibtex
-
- titre
- Preservation of Strong Normalisation modulo permutations for the structural lambda-calculus
- auteur
- Beniamino Accattoli, Delia Kesner
- article
- Logical Methods in Computer Science, 2012, 8 (1), pp.44. ⟨10.2168/LMCS-8(1:28)2012⟩
- Accès au bibtex
-
- titre
- Realizability algebras II : new models of ZF + DC
- auteur
- Jean-Louis Krivine
- article
- Logical Methods in Computer Science, 2012, 8 (1), pp.10. ⟨10.2168/LMCS-8(1:10)2012⟩
- Accès au texte intégral et bibtex
-
- titre
- Partiality and Recursion in Interactive Theorem Provers - An Overview
- auteur
- Ana Bove, Alexander Krauss, Matthieu Sozeau
- article
- Mathematical Structures in Computer Science, 2012
- Accès au texte intégral et 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, 2012, 163 (7), pp.918-934
- Accès au bibtex
-
- titre
- Higher-dimensional normalisation strategies for acyclicity
- auteur
- Yves Guiraud, Philippe Malbos
- article
- Advances in Mathematics, 2012, 231 (3-4), pp.2294-2351. ⟨10.1016/j.aim.2012.05.010⟩
- Accès au texte intégral et 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, 2012, 7 (3), ⟨10.1371/journal.pone.0032032⟩
- Accès au bibtex
-
- titre
- On global types and multi-party sessions
- auteur
- Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Luca Padovani
- article
- Logical Methods in Computer Science, 2012, 8 (1), pp.1-45. ⟨10.2168/LMCS-8(1:24)2012⟩
- Accès au bibtex
-
- titre
- Reducing Equational Theories for the Decision of Static Equivalence
- auteur
- Steve Kremer, Antoine Mercier, Ralf Treinen
- article
- Journal of Automated Reasoning, 2012, 48 (2), pp.197-217. ⟨10.1007/s10817-010-9203-0⟩
- Accès au texte intégral et bibtex
-
- titre
- The Scott model of Linear Logic is the extensional collapse of its relational model
- auteur
- Thomas Ehrhard
- article
- Theoretical Computer Science, 2012, 424, pp.20-45. ⟨10.1016/j.tcs.2011.11.027⟩
- Accès au texte intégral et bibtex
-
- titre
- Coherence in monoidal track categories
- auteur
- Yves Guiraud, Philippe Malbos
- article
- Mathematical Structures in Computer Science, 2012, 22 (6), pp.931-969. ⟨10.1017/S096012951100065X⟩
- Accès au texte intégral et bibtex
-
- titre
- What is a Model for a Semantically Linear Lambda-calculus?
- auteur
- Marco Gaboardi, Mauro Piccolo
- article
- Journal of Logic and Computation, 2012, ⟨10.1093/logcom/exs023⟩
- Accès au 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, 2012, 163 (7), pp.918-934. ⟨10.1016/j.apal.2011.09.008⟩
- Accès au bibtex
-
- titre
- An approach to innocent strategies as graphs
- auteur
- Pierre-Louis Curien, Claudia Faggian
- article
- Information and Computation, 2012, 214, pp.119-155
- Accès au texte intégral et 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- titre
- Executable Knowledge
- auteur
- Russ Harmer
- article
- Systems Biology and Formal Methods, Apr 2012, New York, United States
- Accès au 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
-
- 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
-
- 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
-
- 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
-
- titre
- Coq avec Classes
- auteur
- Matthieu Sozeau
- article
- JFLA - Journées Françaises des Langages Applicatifs, Feb 2012, Carnac, France
- Accès au 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
Autre publication scientifique
- titre
- Forcing in Coq
- auteur
- Matthieu Sozeau, Nicolas Tabareau, Guilhem Jaber
- article
- 2012
- Accès au bibtex
-
- titre
- A gentle introduction to type classes and relations in Coq
- auteur
- Pierre Castéran, Matthieu Sozeau
- article
- 2012
- Accès au 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
-
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
-
- 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
-
Thèse
- titre
- Complexité Implicite de Lambda-Calculs Concurrents
- auteur
- Antoine Madet
- article
- Programming Languages [cs.PL]. Université Paris-Diderot - Paris VII, 2012. English. ⟨NNT : ⟩
- Accès au texte intégral et 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. ⟨NNT : ⟩
- Accès au texte intégral et 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. ⟨NNT : ⟩
- Accès au texte intégral et 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
-
- titre
- On the discriminating power of tests in resource lambda-calculus
- auteur
- Flavien Breuvart
- article
- 2012
- Accès au texte intégral et 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
-
- titre
- Decidability of All Minimal Models (Revised Version - 2012)
- auteur
- Vincent Padovani
- article
- 2012
- Accès au texte intégral et bibtex
-
- titre
- Minimal lambda-theories by ultraproducts
- auteur
- Alberto Carraro, Antonino Salibra, Antonio Bucciarelli
- article
- 2012
- Accès au texte intégral et 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, 2011, 76 (12), pp.1144-1160. ⟨10.1016/j.scico.2010.11.001⟩
- Accès au bibtex
-
- titre
- Visible acyclic differential nets, Part I: Semantics
- auteur
- Michele Pagani
- article
- Annals of Pure and Applied Logic, 2011, 163 (3), pp.238-265. ⟨10.1016/j.apal.2011.09.001⟩
- Accès au texte intégral et bibtex
-
- titre
- Continuation-Passing C: compiling threads to events through continuations
- auteur
- Gabriel Kerneis, Juliusz Chroboczek
- article
- Higher-Order and Symbolic Computation, 2011, 24 (3), pp.239-279. ⟨10.1007/s10990-012-9084-5⟩
- Accès au texte intégral et bibtex
-
- titre
- Realizability algebras: a program to well order R
- auteur
- Jean-Louis Krivine
- article
- Logical Methods in Computer Science, 2011, 7 (3), pp.1-47
- Accès au texte intégral et bibtex
-
- titre
- Towards a homotopy theory of higher dimensional transition systems
- auteur
- Philippe Gaucher
- article
- Theory and Applications of Categories, 2011, 25 (12), pp.295-341
- Accès au texte intégral et bibtex
-
- titre
- A semantic measure of the execution time in linear logic
- auteur
- Michele Pagani
- article
- Theoretical Computer Science, 2011, 412 (20), pp.1884-1902. ⟨10.1016/j.tcs.2010.12.017⟩
- Accès au bibtex
-
- titre
- Probabilistic coherence spaces as a model of higher- order probabilistic computation
- auteur
- Thomas Ehrhard, Vincent Danos
- article
- Information and Computation, 2011, 152 (1), pp.111-137
- Accès au bibtex
-
- titre
- A prismoid framework for languages with resources
- auteur
- Delia Kesner, Fabien Renaud
- article
- Theoretical Computer Science, 2011, 412 (37), pp.4867-4892. ⟨10.1016/j.tcs.2011.01.026⟩
- Accès au texte intégral et bibtex
-
- titre
- A Solution to the POPLMARK Challenge Based on de Bruijn Indices
- auteur
- Jérôme Vouillon
- article
- Journal of Automated Reasoning, 2011, pp.1-36. ⟨10.1007/s10817-011-9230-5⟩
- Accès au bibtex
-
- titre
- Preface to Girard's Festschrift
- auteur
- Pierre-Louis Curien
- article
- Theoretical Computer Science, 2011, 412 (20), pp.1853-1859
- Accès au texte intégral et bibtex
-
- titre
- Enforcing Type-Safe Linking using Inter-Package Relationships
- auteur
- Mehdi Dogguy, Stephane Glondu, Sylvain Le Gall, Stefano Zacchiroli
- article
- Studia Informatica Universalis, 2011, 9 (1), pp.129-157
- Accès au bibtex
-
- titre
- Ludics with repetitions (Exponentials, Interactive types and Completeness)
- auteur
- Claudia Faggian, Michele Basaldella
- article
- Logical Methods in Computer Science, 2011, 7 (2), pp.1-85. ⟨10.2168/LMCS-7(2:13)2011⟩
- Accès au 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
-
- titre
- Realizability Proof for Normalization of Full Differential Linear Logic
- auteur
- Stéphane Gimenez
- article
- Lecture Notes in Computer Science, 2011, 6690, pp.107-122. ⟨10.1007/978-3-642-21691-6_11⟩
- Accès au 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- titre
- Client-server Web applications with Eliom
- auteur
- Vincent Balat
- article
- Ocaml Meeting 2011, 2011, France
- Accès au bibtex
-
Autre publication scientifique
- titre
- Programmation de droite à gauche
- auteur
- Pascal Manoury
- article
- 2011
- Accès au bibtex
-
- titre
- The Babel Routing Protocol
- auteur
- Juliusz Chroboczek
- article
- 2011
- Accès au 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
-
Ouvrages
- 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. Electronic Proceedings in Theoretical Computer Science, 65, pp.1--45, 2011, 2075-2180. ⟨10.4204/EPTCS.65⟩
- Accès au 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
-
Rapport
- titre
- A Unified Approach to Fully Lazy Sharing
- auteur
- Thibaut Balabonski
- article
- 2011
- Accès au texte intégral et bibtex
-
- titre
- Distributed Markov Processes
- auteur
- Samy Abbes
- article
- 2011
- Accès au texte intégral et bibtex
-
- titre
- Proofs as Tree Languages
- auteur
- Stefan Hetzl
- article
- 2011
- Accès au texte intégral et 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
-
- 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
-
- 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
-
- 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
-
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. ⟨NNT : ⟩
- Accès au texte intégral et 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. ⟨NNT : ⟩
- Accès au texte intégral et 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
-
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
-
- titre
- A 2-Categorical Analysis of the Tripos-to-Topos Construction
- auteur
- Jonas Frey
- article
- 2011
- Accès au bibtex
-
- titre
- Order Theory for Big-Step Semantics
- auteur
- Jérôme Vouillon
- article
- 2011
- Accès au texte intégral et bibtex
-
- titre
- Reasoning on Assembly Code using Linear Logic
- auteur
- Jérôme Vouillon
- article
- 2011
- Accès au texte intégral et 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
-
- titre
- Metaconfluence of λj: dealing with non-deterministic replacements
- auteur
- Fabien Renaud
- article
- 2011
- Accès au texte intégral et bibtex
-
2010
Article dans une revue
- titre
- Directed algebraic topology and higher dimensional transition system
- auteur
- Philippe Gaucher
- article
- New York Journal of Mathematics, 2010, 16, pp.409-461
- Accès au texte intégral et bibtex
-
- titre
- Game semantics for first-order logic
- auteur
- Olivier Laurent
- article
- Logical Methods in Computer Science, 2010, 6 (4), pp.3. ⟨10.2168/LMCS-6(4:3)2010⟩
- Accès au bibtex
-
- titre
- Acyclic Solos and Differential Interaction Nets
- auteur
- Thomas Ehrhard, Olivier Laurent
- article
- Logical Methods in Computer Science, 2010, 6 (3), pp.11. ⟨10.2168/LMCS-6(3:11)2010⟩
- Accès au bibtex
-
- titre
- Kripke Models for Classical Logic
- auteur
- Danko Ilik, Gyesik Lee, Hugo Herbelin
- article
- Annals of Pure and Applied Logic, 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
-
- titre
- Typing streams in the $\Lambda\mu$-calculus
- auteur
- Alexis Saurin
- article
- ACM Transactions on Computational Logic, 2010, 11 (4), pp.28-61. ⟨10.1145/1805950.1805958⟩
- Accès au 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
-
- titre
- A folk model structure on omega-cat
- auteur
- Yves Lafont, François Métayer, Krzysztof Worytkiewicz
- article
- Advances in Mathematics, 2010, 224 (3), pp.1183-1231. ⟨10.1016/j.aim.2010.01.007⟩
- Accès au texte intégral et bibtex
-
- titre
- Interpreting a finitary pi-calculus in differential interaction nets
- auteur
- Thomas Ehrhard, Olivier Laurent
- article
- Information and Computation, 2010, 208 (6), pp.606--633. ⟨10.1016/j.ic.2009.06.005⟩
- Accès au bibtex
-
- titre
- An exact correspondence between a typed pi-calculus and polarised proof-nets
- auteur
- Kohei Honda, Olivier Laurent
- article
- Theoretical Computer Science, 2010, 411 (22--24), pp.2223--2238. ⟨10.1016/j.tcs.2010.01.028⟩
- Accès au bibtex
-
- titre
- On the form of witness terms
- auteur
- Stefan Hetzl
- article
- Archive for Mathematical Logic, 2010, 49 (5), pp.529-554. ⟨10.1007/s00153-010-0186-7⟩
- Accès au texte intégral et bibtex
-
- titre
- Typed Event Structures and the linear pi-calculus
- auteur
- Daniele Varacca, Nobuko Yoshida
- article
- Theoretical Computer Science, 2010, 411 (19), pp.1949-1973
- Accès au bibtex
-
- titre
- Combinatorics of labelling in higher dimensional automata
- auteur
- Philippe Gaucher
- article
- Theoretical Computer Science, 2010, 411 (11-13), pp.1452-1483. ⟨10.1016/j.tcs.2009.11.013⟩
- Accès au bibtex
-
- titre
- Resource modalities in tensor logic
- auteur
- Paul-André Melliès, Nicolas Tabareau
- article
- Annals of Pure and Applied Logic, 2010, 161 (5), pp.632-653. ⟨10.1016/j.apal.2009.07.018⟩
- Accès au texte intégral et bibtex
-
- titre
- On isomorphisms of intersection types
- auteur
- Roberto Di Cosmo, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Tatsuta Makoto
- article
- ACM Transactions on Computational Logic, 2010, 11 (4), pp.1-24. ⟨10.1145/1805950.1805955⟩
- Accès au bibtex
-
- titre
- Proof and Refutation in MALL as a game
- auteur
- Olivier Delande, Dale Miller, Alexis Saurin
- article
- Annals of Pure and Applied Logic, 2010, 161 (5), pp.654-672. ⟨10.1016/j.apal.2009.07.017⟩
- Accès au 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, 2010, 20 (3), pp.037108. ⟨10.1063/1.3491100⟩
- Accès au texte intégral et 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
-
- 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
-
- titre
- A topological definition of fairness
- auteur
- Daniele Varacca
- article
- EXPRESS, Sep 2010, Paris, France
- Accès au 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- titre
- Elaborations in Type Theory
- auteur
- Matthieu Sozeau
- article
- DTP'10 - Dependently Typed Programming - 2010, Jul 2010, Edinburgh, United Kingdom
- Accès au 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- titre
- Preview of Ocsigen 2.0
- auteur
- Vincent Balat
- article
- Ocaml Meeting 2010, 2010, France
- Accès au 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
-
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
-
- 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
-
Ouvrages
- 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
-
- 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
-
Proceedings/Recueil des communications
- 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
-
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
-
- 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
-
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. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- titre
- Constructive Completeness Proofs and Delimited Control
- auteur
- Danko Ilik
- article
- Software Engineering [cs.SE]. Ecole Polytechnique X, 2010. English. ⟨NNT : ⟩
- Accès au texte intégral et 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. ⟨NNT : ⟩
- Accès au texte intégral et 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. ⟨NNT : ⟩
- Accès au texte intégral et 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
-
- titre
- Markov concurrent processes
- auteur
- Samy Abbes
- article
- 2010
- Accès au texte intégral et bibtex
-
- titre
- A convenient differential category
- auteur
- Richard Blute, Thomas Ehrhard, Christine Tasson
- article
- 2010
- Accès au texte intégral et 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
-
- titre
- Optimality for Dynamic Patterns
- auteur
- Thibaut Balabonski
- article
- 2010
- Accès au texte intégral et 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
-
- titre
- Ticket Entailment is decidable
- auteur
- Vincent Padovani
- article
- 2010
- Accès au texte intégral et bibtex
-
- titre
- Extensional Collapse Situations I: non-termination and unrecoverable errors
- auteur
- Antonio Bucciarelli
- article
- 2010
- Accès au texte intégral et 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, 2009, 22 (22), pp.588-621
- Accès au texte intégral et 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, 2009, Les promesses des énergies renouvelables, 436 décembre 2009
- Accès au texte intégral et 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
-
- titre
- Totality in arena games
- auteur
- Pierre Clairambault, Russ Harmer
- article
- Annals of Pure and Applied Logic, 2009, 161 (5), pp.673-689. ⟨10.1016/j.apal.2009.07.016⟩
- Accès au texte intégral et bibtex
-
- titre
- On the categorical semantics of Elementary Linear Logic
- auteur
- Olivier Laurent
- article
- Theory and Applications of Categories, 2009, 22 (10), pp.269-301
- Accès au bibtex
-
- titre
- Polygraphic resolutions and homology of monoids
- auteur
- Yves Lafont, François Métayer
- article
- Journal of Pure and Applied Algebra, 2009, 213, pp.947-968. ⟨10.1016/j.jpaa.2008.10.005⟩
- Accès au texte intégral et 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, 2009, 106 (16), ⟨10.1073/pnas.0809908106⟩
- Accès au bibtex
-
- titre
- T-homotopy and refinement of observation (I) : Introduction
- auteur
- Philippe Gaucher
- article
- Electronic Notes in Theoretical Computer Science, 2009, 230, pp.103-110
- Accès au bibtex
-
- titre
- Mobility control via passports
- auteur
- Samuel Hym
- article
- Information and Computation, 2009, 207 (2), pp.171-193. ⟨10.1016/j.ic.2007.11.011⟩
- Accès au texte intégral et bibtex
-
- titre
- Strong normalization property for second order linear logic
- auteur
- Michele Pagani
- article
- Theoretical Computer Science, 2009, 411, pp.410-444. ⟨10.1016/j.tcs.2009.07.053⟩
- Accès au bibtex
-
- titre
- Debianopolis
- auteur
- Ralf Treinen
- article
- Linux Magazin, 2009
- Accès au 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, 2009, 10, pp.4. ⟨10.1186/1471-2172-10-4⟩
- Accès au texte intégral et bibtex
-
- titre
- A Theory of Explicit Substitutions with Safe and Full Composition
- auteur
- Delia Kesner
- article
- Logical Methods in Computer Science, 2009, 5 (3:1), pp.Pages 1-29
- Accès au bibtex
-
- titre
- Effective lambda-models vs recursively enumerable lambda-theories
- auteur
- Chantal Berline, Giulio Manzonetto, Antonio Salibra
- article
- Mathematical Structures in Computer Science, 2009, 19 (5), pp.897-942
- Accès au texte intégral et 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
-
- titre
- Parametric polymorphism for XML
- auteur
- Haruo Hosoya, Alain Frisch, Giuseppe Castagna
- article
- ACM Transactions on Programming Languages and Systems (TOPLAS), 2009, 32 (1), pp.1-56. ⟨10.1145/1596527.1596529⟩
- Accès au 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, 2009, Transactions on Computational Systems Biology XI, 5750, pp.116-137. ⟨10.1007/978-3-642-04186-0_6⟩
- Accès au bibtex
-
- titre
- First-class patterns
- auteur
- Barry Jay, Delia Kesner
- article
- Journal of Functional Programming, 2009, 19 (2), pp.191-225
- Accès au 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), 2009, 31 (5), pp.1-61. ⟨10.1145/1538917.1538920⟩
- Accès au 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- titre
- Rule-based modelling of cellular signalling
- auteur
- Russ Harmer
- article
- Biopathways 10, Jun 2009, Stockholm, Sweden
- Accès au 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
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
-
- 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
-
- 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
-
- 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
-
- 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
-
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
-
Autre publication scientifique
- 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
-
- titre
- BitTorrent DHT Extensions for IPv6
- auteur
- Juliusz Chroboczek
- article
- 2009
- Accès au texte intégral et bibtex
-
Ouvrages
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
Rapport
- titre
- Are events fast?
- auteur
- Gabriel Kerneis, Juliusz Chroboczek
- article
- 2009
- Accès au texte intégral et 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
-
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. ⟨NNT : ⟩
- Accès au texte intégral et 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. ⟨NNT : ⟩
- Accès au texte intégral et 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
-
- 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
-
- titre
- Confluence of Pure Differential Nets with Promotion
- auteur
- Paolo Tranquilli
- article
- 2009
- Accès au texte intégral et bibtex
-
- titre
- Ordre préfixe et temps d'arrêt
- auteur
- Samy Abbes
- article
- 2009
- Accès au texte intégral et bibtex
-
- titre
- λμ-calculus and Λμ-calculus: a Capital Difference
- auteur
- Hugo Herbelin, Alexis Saurin
- article
- 2009
- Accès au texte intégral et bibtex
-
- titre
- Discovering new languages from the study of games semantics
- auteur
- Alexis Goyet
- article
- 2009
- Accès au texte intégral et bibtex
-
- titre
- Rethinking Web interaction
- auteur
- Vincent Balat
- article
- 2009
- Accès au texte intégral et bibtex
-
2008
Article dans une revue
- titre
- On Countable Completions of Quotient Ordered Semigroups
- auteur
- Samy Abbes
- article
- Semigroup Forum, 2008, 77 (3), pp.482-499. ⟨10.1007/s00233-008-9111-3⟩
- Accès au texte intégral et bibtex
-
- titre
- Spurious Disambiguation Errors and How to Get Rid of Them
- auteur
- Claudio Sacerdoti Coen, Stefano Zacchiroli
- article
- Mathematics in Computer Science, 2008, 2 (2), pp.355-378. ⟨10.1007/s11786-008-0058-2⟩
- Accès au bibtex
-
- titre
- Security Types for Dynamic Web Data
- auteur
- Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantovic, Daniele Varacca
- article
- Theoretical Computer Science, 2008, 402 (2-3), pp.156-171
- Accès au texte intégral et 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
-
- titre
- Skeletal Parallel Programming with OCAMLP3L 2.0
- auteur
- Roberto Di Cosmo, Zheng Li, Susanna Pelagatti, Pierre Weis
- article
- Parallel Processing Letters, 2008, 18 (1), pp.149-164
- Accès au bibtex
-
- titre
- Cofibrant objects among higher-dimensional categories
- auteur
- François Métayer
- article
- Homology, Homotopy and Applications(HHA), 2008, 10 (1), pp.181-203
- Accès au bibtex
-
- titre
- Globular realization and cubical underlying homotopy type of time flow of process algebra
- auteur
- Philippe Gaucher
- article
- New York Journal of Mathematics, 2008, 14, pp.101-137
- Accès au bibtex
-
- titre
- Towards the unification of formats for overlapping markup
- auteur
- Paolo Marinelli, Fabio Vitali, Stefano Zacchiroli
- article
- New Review of Hypermedia and Multimedia, 2008, 14 (1), pp.57-94. ⟨10.1080/13614560802316145⟩
- Accès au texte intégral et bibtex
-
- titre
- Probabilistic true-concurrency models: Markov nets and a Law of large numbers
- auteur
- Samy Abbes, Albert Benveniste
- article
- Theoretical Computer Science, 2008, 390, pp.129-170. ⟨10.1016/j.tcs.2007.09.018⟩
- Accès au texte intégral et bibtex
-
- titre
- Proof nets sequentialisation in multiplicative linear logic
- auteur
- Paolo Di Giamberardino, Claudia Faggian
- article
- Annals of Pure and Applied Logic, 2008, 155 (3), pp.173-182
- Accès au bibtex
-
- titre
- Graph Lambda Theories
- auteur
- Antonio Bucciarelli, Antonino Salibra
- article
- Mathematical Structures in Computer Science, 2008, 18 (5), pp.975-1004
- Accès au texte intégral et bibtex
-
- titre
- From minimal signed circuits to the dynamics of Boolean regulatory networks
- auteur
- Elisabeth Remy, Paul Ruet
- article
- Bioinformatics, 2008, 24 (16), ⟨10.1093/bioinformatics/btn287⟩
- Accès au bibtex
-
- titre
- Computational self-assembly
- auteur
- Pierre-Louis Curien, Vincent Danos, Jean Krivine, Min Zhang
- article
- Theoretical Computer Science, 2008, 404 ((1-2)), pp.61-75
- Accès au texte intégral et bibtex
-
- titre
- Uniformity and the Taylor expansion of ordinary lambda-terms
- auteur
- Thomas Ehrhard, Laurent Regnier
- article
- Theoretical Computer Science, 2008, 403 (2-3), pp.347-372. ⟨10.1016/j.tcs.2008.06.001⟩
- Accès au texte intégral et bibtex
-
- titre
- Semantic subtyping for the pi-calculus
- auteur
- Giuseppe Castagna, Rocco de Nicola, Daniele Varacca
- article
- Theoretical Computer Science, 2008, 398 (1-3), pp.217-242. ⟨10.1016/j.tcs.2008.01.049⟩
- Accès au bibtex
-
- titre
- Symbolic Protocol Analysis for Monoidal Equational Theories
- auteur
- Stéphanie Delaune, Pascal Lafourcade, Denis Lugiez, Ralf Treinen
- article
- Information and Computation, 2008, 206 (2-4), pp.312-351. ⟨10.1016/j.ic.2007.07.005⟩
- Accès au texte intégral et 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), 2008, 55 (4), pp.1-64. ⟨10.1145/1391289.1391293⟩
- Accès au 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- titre
- Homology of Higher Categories
- auteur
- François Métayer
- article
- ATMCS'08, Jun 2008, Paris, France
- Accès au 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- titre
- Exploiting the full power of OCaml in Web programming
- auteur
- Vincent Balat
- article
- Ocaml Meeting 2008, 2008, France
- Accès au 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
-
Autre publication scientifique
- titre
- Description of the CUDF Format
- auteur
- Ralf Treinen, Stefano Zacchiroli
- article
- 2008
- Accès au texte intégral et bibtex
-
Ouvrages
- 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
-
- 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
-
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
-
- 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
-
- 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
-
- 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
-
- 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
-
Thèse
- titre
- Realizability Games in Arithmetical Formulae.
- auteur
- Mauricio Guillermo,
- article
- Mathematics [math]. Université Paris-Diderot - Paris VII, 2008. English. ⟨NNT : ⟩
- Accès au texte intégral et 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. ⟨NNT : ⟩
- Accès au texte intégral et 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. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- titre
- Réalisabilité Classique et protocoles réseaux
- auteur
- Philippe Hesse
- article
- Mathématiques [math]. Université Paris-Diderot - Paris VII, 2008. Français. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
Pré-publication, Document de travail
- titre
- Calculs avec Motifs Dynamiques
- auteur
- Thibaut Balabonski
- article
- 2008
- Accès au texte intégral et 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
-
- titre
- On Skolemising Zermelo's Set Theory
- auteur
- Alexandre Miquel
- article
- 2008
- Accès au texte intégral et 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
-
- titre
- On probabilistic coherence spaces
- auteur
- Vincent Danos, Thomas Ehrhard
- article
- 2008
- Accès au texte intégral et 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
-
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, 2007, 33 (3-4), pp.82-110
- Accès au bibtex
-
- titre
- A synchronous pi-calculus
- auteur
- Roberto M. Amadio
- article
- Information and Computation, 2007, 205 (9), pp.1470-1490
- Accès au texte intégral et bibtex
-
- titre
- Components of the Fundamental Category II
- auteur
- Eric Goubault
- article
- Applied Categorical Structures, 2007, à paraître, à paraître
- Accès au 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, 2007, pp.article 192
- Accès au 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, 2007, 2007, Article ID 87404, 20 p. ⟨10.1155/2007/87404⟩
- Accès au bibtex
-
- titre
- Adding recursion to Dpi
- auteur
- Samuel Hym, Matthew Hennessy
- article
- Theoretical Computer Science, 2007, 373 (3), pp.182--212. ⟨10.1016/j.tcs.2006.12.017⟩
- Accès au bibtex
-
- titre
- The Measurement Calculus
- auteur
- Vincent Danos, Elham Kashefi, Prakash Panangaden
- article
- Journal of the ACM (JACM), 2007, 54 (2), pp.article 8
- Accès au bibtex
-
- titre
- Axiomatizations for probabilistic finite-state behaviors
- auteur
- Yuxin Deng
- article
- Theoretical Computer Science, 2007, 373 (1-2), pp.92-114
- Accès au bibtex
-
- titre
- Completeness of MLL proof-nets w.r.t. weak distributivity
- auteur
- Jean-Baptiste Joinet
- article
- The Journal of Symbolic Logic, 2007, 72 (1), pp.159-170
- Accès au bibtex
-
- titre
- The SL synchronous language, revisited
- auteur
- Roberto M. Amadio
- article
- Journal of Logic and Algebraic Programming, 2007, 70, pp.121-150
- Accès au texte intégral et 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
-
- 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, 2007, 26 (9), pp.1067-1090
- Accès au 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, 2007, 205 (4), pp.581-623. ⟨10.1016/j.ic.2006.10.008⟩
- Accès au texte intégral et 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
-
- titre
- Resource Operators for lambda-calculus
- auteur
- Delia Kesner, Stéphane Lengrand
- article
- Information and Computation, 2007, 205 (4), pp.419-473
- Accès au bibtex
-
- titre
- A Graph Abstract Machine Describing Event Structure Composition
- auteur
- Claudia Faggian, Mauro Piccolo
- article
- Electronic Notes in Theoretical Computer Science, 2007, 175 (4), pp.21-36
- Accès au bibtex
-
- titre
- Expression Reduction Systems with Patterns
- auteur
- Julien Forest, Delia Kesner
- article
- Journal of Automated Reasoning, 2007, 39 (4), pp.513-541
- Accès au bibtex
-
- titre
- A projective formalism applied to topoligical and probabilistic event structures
- auteur
- Samy Abbes
- article
- Mathematical Structures in Computer Science, 2007, 17 (4), pp.819-837. ⟨10.1017/S096012950700607X⟩
- Accès au texte intégral et 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- titre
- Homotopical semantics of parallel composition in CCS
- auteur
- Philippe Gaucher
- article
- PSSL86, Sep 2007, Nancy, France
- Accès au 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- titre
- General Reversibility
- auteur
- Vincent Danos, Jean Krivine, Pawel Sobocinski
- article
- Jun 2007, pp.75-86
- Accès au 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
-
- titre
- Weak probabilistic anonymity
- auteur
- Yuxin Deng
- article
- Jun 2007, pp.55-76
- Accès au 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
-
- titre
- Self-assembling Trees
- auteur
- Vincent Danos, Fabien Tarissan, Jean Krivine
- article
- May 2007, pp.19-32
- Accès au 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
-
- 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
-
- titre
- Pauli Measurements are Universal
- auteur
- Vincent Danos, Elham Kashefi
- article
- Mar 2007, pp.95-100
- Accès au 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- titre
- A Graph Abstract Machine Describing Event Structure Composition
- auteur
- Claudia Faggian, Mauro Piccolo
- article
- 2007, pp.60-75
- Accès au 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
-
Autre publication scientifique
- titre
- ℂDuce Tutorial
- auteur
- Véronique Benzaken, Giuseppe Castagna, Alain Frisch
- article
- 2007
- Accès au bibtex
-
Ouvrages
- 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
-
- titre
- Logique, dynamique et cognition
- auteur
- Jean-Baptiste Joinet
- article
- Publications de la Sorbonne, pp.237, 2007
- Accès au 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
-
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
-
- 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. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- titre
- Modelling and Analyzing Systems Biology Using Process Algebra
- auteur
- Min Zhang
- article
- Modeling and Simulation. Université Paris-Diderot - Paris VII, 2007. English. ⟨NNT : ⟩
- Accès au texte intégral et 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. ⟨NNT : ⟩
- Accès au texte intégral et 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
-
- 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
-
- titre
- Valid formulas, games and network protocols
- auteur
- Jean-Louis Krivine, Yves Legrandgérard
- article
- 2007
- Accès au texte intégral et 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
-
- titre
- Asynchronous games: innocence without alternation
- auteur
- Paul-André Melliès, Samuel Mimram
- article
- 2007
- Accès au texte intégral et 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
-
- titre
- Call-by-Value Lambda-calculus and LJQ
- auteur
- Roy Dyckhoff, Stéphane Lengrand
- article
- 2007
- Accès au texte intégral et 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
-
- titre
- Curry-style type Isomorphisms and Game Semantics
- auteur
- Joachim de Lataillade
- article
- 2007
- Accès au texte intégral et bibtex
-
- titre
- Second-Order Type Isomorphisms Through Game Semantics
- auteur
- Joachim de Lataillade
- article
- 2007
- Accès au texte intégral et bibtex
-
- titre
- Resource modalities in game semantics
- auteur
- Paul-André Melliès, Nicolas Tabareau
- article
- 2007
- Accès au texte intégral et 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
-
- titre
- Cellular strategies and innocent interaction
- auteur
- Russ Harmer
- article
- 2007
- Accès au texte intégral et 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
-
- titre
- Cofibrant complexes are free
- auteur
- François Métayer
- article
- 2007
- Accès au bibtex
-
- titre
- The theory of calculi with explicit substitutions revisited
- auteur
- Delia Kesner
- article
- 2007
- Accès au texte intégral et 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
-
- titre
- Classical program extraction in the calculus of constructions
- auteur
- Alexandre Miquel
- article
- 2007
- Accès au texte intégral et bibtex
-
- titre
- Linear continuations and duality
- auteur
- Paul-André Melliès, Nicolas Tabareau
- article
- 2007
- Accès au texte intégral et bibtex
-
2006
Article dans une revue
- titre
- Self-assembling graphs
- auteur
- Vincent Danos, Fabien Tarissan
- article
- Natural Computing, 2006, 20 p. ⟨10.1007/s11047-006-9013-9⟩
- Accès au 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, 2006, 6, pp.1-15. ⟨10.1007/11880646_1⟩
- Accès au bibtex
-
- titre
- Determinism and the one-way model
- auteur
- Vincent Danos, Elham Kashefi
- article
- Physical Review A : Atomic, molecular, and optical physics [1990-2015], 2006, 74 (5), pp.article 052310
- Accès au bibtex
-
- titre
- Differential interaction nets
- auteur
- Thomas Ehrhard, Laurent Regnier
- article
- Theoretical Computer Science, 2006, 364 (2), pp.166-195. ⟨10.1016/j.tcs.2006.08.003⟩
- Accès au 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
-
- 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, 2006, 32 (7-8), pp.539-550. ⟨10.1016/j.parco.2006.04.003⟩
- Accès au bibtex
-
- titre
- Resource Control for Synchronous Cooperative Threads
- auteur
- Roberto M. Amadio, Silvano Dal Zilio
- article
- Theoretical Computer Science, 2006, 358, pp.229-254
- Accès au texte intégral et bibtex
-
- titre
- Asynchronous games 2: the true concurrency of innocence
- auteur
- Paul-André Melliès
- article
- Theoretical Computer Science, 2006, 358 (2-3), pp.200-228. ⟨10.1016/j.tcs.2006.01.016⟩
- Accès au texte intégral et 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, 2006, 141 (1-2), pp.35-50. ⟨10.1016/j.apal.2005.09.001⟩
- Accès au bibtex
-
- titre
- Ensuring termination by typability
- auteur
- Yuxin Deng
- article
- Information and Computation, 2006, 204 (7), pp.1045-1082
- Accès au 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
-
- titre
- Concurrent nets: a study of prefixing in process calculi
- auteur
- Emmanuel Beffara, François Maurel
- article
- Theoretical Computer Science, 2006, 356 (3), pp.356-373. ⟨10.1016/j.tcs.2006.02.009⟩
- Accès au bibtex
-
- titre
- Algebraic Topology and Concurrency
- auteur
- Eric Goubault
- article
- Theoretical Computer Science, 2006, 357 (1-3), pp.241-278
- Accès au bibtex
-
- titre
- Bisimulation and cocongruence for probabilistic systems
- auteur
- Vincent Danos, Josée Desharnais, François Laviolette, Prakash Panangaden
- article
- Information and Computation, 2006, 204 (4), pp.503--523
- Accès au bibtex
-
- titre
- Towards an algebraic theory of typed mobile processes
- auteur
- Yuxin Deng
- article
- Theoretical Computer Science, 2006, 350 (2-3), pp.188-212
- Accès au bibtex
-
- titre
- Program extraction from normalization proofs
- auteur
- Ulrich Berger, Stefan Berghofer, Pierre Letouzey, Helmut Schwichtenberg
- article
- Studia Logica, 2006, 82 (1), pp.25-49. ⟨10.1007/s11225-006-6604-5⟩
- Accès au texte intégral et bibtex
-
- titre
- Probabilistic models for true-concurrency: branching cells and distributed probabilities for event structures
- auteur
- Samy Abbes, Albert Benveniste
- article
- Information and Computation, 2006, 204 (2), pp.231-274
- Accès au texte intégral et bibtex
-
- titre
- Inverting weak dihomotopy equivalence using homotopy continuous flow
- auteur
- Philippe Gaucher
- article
- Theory and Applications of Categories, 2006, 16 (3), pp.59-83
- Accès au bibtex
-
- titre
- Graph models of lambda-calculus at work, and variations
- auteur
- Chantal Berline
- article
- Mathematical Structures in Computer Science, 2006, 16, pp.185-221. ⟨10.1017/S0960129506005123⟩
- Accès au texte intégral et bibtex
-
- titre
- Introduction to linear logic and ludics, part II
- auteur
- Pierre-Louis Curien
- article
- Advances in polymer science, 2006, 35 (1), pp.1-44
- Accès au texte intégral et bibtex
-
- titre
- Projective topology on bifinite domains and applications
- auteur
- Samy Abbes, Klaus Keimel
- article
- Theoretical Computer Science, 2006, 365 (3), pp.171-183. ⟨10.1016/j.tcs.2006.07.047⟩
- Accès au texte intégral et bibtex
-
- titre
- Easiness in graph models
- auteur
- Chantal Berline, Antonino Salibra
- article
- Theoretical Computer Science, 2006, 354, pp.4-23. ⟨10.1016/j.tcs.2005.11.005⟩
- Accès au texte intégral et 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- titre
- Metrics for action-labelled quantitative transition systems
- auteur
- Yuxin Deng
- article
- May 2006, pp.79-96
- Accès au 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- titre
- Polymorphism and XDuce-style patterns
- auteur
- Jérôme Vouillon
- article
- PLAN-X'06, Jan 2006, Charleston, United States
- Accès au 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
-
- titre
- Jump from Parallel to Sequential Proofs: Multiplicatives
- auteur
- Claudia Faggian, Paolo Di Giamberardino
- article
- 2006, pp.319-333
- Accès au 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
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
-
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
-
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
-
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. ⟨NNT : ⟩
- Accès au texte intégral et 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. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- titre
- Typage et contrôle de la mobilité
- auteur
- Samuel Hym
- article
- Autre [cs.OH]. Université Paris-Diderot - Paris VII, 2006. Français. ⟨NNT : ⟩
- Accès au texte intégral et 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
-
- titre
- On differential interaction nets and the pi-calculus
- auteur
- Thomas Ehrhard, Olivier Laurent
- article
- 2006
- Accès au texte intégral et 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
-
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 : Atomic, molecular, and optical physics [1990-2015], 2005, 72 (6), pp.article 064301. ⟨10.1103/PhysRevA.72.064301⟩
- Accès au bibtex
-
- titre
- Flow does not model flows up to weak dihomotopy
- auteur
- Philippe Gaucher
- article
- Applied Categorical Structures, 2005, 13 (5-6), pp.371-388
- Accès au bibtex
-
- titre
- Sequential algorithms and strongly stable functions
- auteur
- Paul-André Melliès
- article
- Theoretical Computer Science, 2005, 343 (1-2), pp.237-281. ⟨10.1016/j.tcs.2005.05.015⟩
- Accès au texte intégral et bibtex
-
- titre
- Finiteness spaces
- auteur
- Thomas Ehrhard
- article
- Mathematical Structures in Computer Science, 2005, 15 (4), pp.615-646. ⟨10.1017/S0960129504004645⟩
- Accès au bibtex
-
- titre
- Homological properties of non-deterministic branchings and mergings in higher dimensional automata
- auteur
- Philippe Gaucher
- article
- Homology, Homotopy and Applications(HHA), 2005, 7 (1), pp.51-76
- Accès au 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
-
- titre
- de Bruijn Indices for MetaTerms
- auteur
- Eduardo Bonelli, Delia Kesner, Alejandro Ríos
- article
- Journal of Logic and Computation, 2005, 15, pp.855-899
- Accès au bibtex
-
- titre
- Introduction to linear logic and ludics, part I
- auteur
- Pierre-Louis Curien
- article
- Advances in polymer science, 2005, 34 (5), pp.513-544
- Accès au texte intégral et bibtex
-
- titre
- Classical isomorphisms of types
- auteur
- Olivier Laurent
- article
- Mathematical Structures in Computer Science, 2005, 15, pp.969-1004. ⟨10.1017/S0960129505004895⟩
- Accès au texte intégral et bibtex
-
- titre
- Relating Higher-Order and First-Order Rewriting
- auteur
- Eduardo Bonelli, Delia Kesner, Alejandro Ríos
- article
- Journal of Logic and Computation, 2005, 15, pp.901-947
- Accès au 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), 2005, 27 (1), pp.46-90. ⟨10.1145/1053468.1053470⟩
- Accès au bibtex
-
- titre
- Syntax vs. Semantics: a polarized approach
- auteur
- Olivier Laurent
- article
- Theoretical Computer Science, 2005, 343, pp.177-206. ⟨10.1016/j.tcs.2005.05.012⟩
- Accès au texte intégral et 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- titre
- Relational Reasoning in a Nominal Semantics for Storage
- auteur
- Nick Benton, Benjamin Leperchey
- article
- Apr 2005, pp.86--101
- Accès au 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- titre
- Axiomatizations for probabilistic finite-state behaviors
- auteur
- Yuxin Deng
- article
- Feb 2005, pp.110-124
- Accès au 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
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
-
- 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
-
- 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
-
- 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
-
Autre publication scientifique
- titre
- Parametric mixed sequent calculus
- auteur
- Karim Nour, Olivier Laurent
- article
- 2005
- Accès au texte intégral et bibtex
-
Ouvrages
- 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
-
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
-
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. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- titre
- Logique, Réalisabilité et Concurrence
- auteur
- Emmanuel Beffara
- article
- Mathématiques [math]. Université Paris-Diderot - Paris VII, 2005. Français. ⟨NNT : ⟩
- Accès au texte intégral et 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. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- titre
- Topologie Algébrique Dirigée et Concurrence
- auteur
- Emmanuel Haucourt
- article
- Autre [cs.OH]. Université Paris-Diderot - Paris VII, 2005. Français. ⟨NNT : ⟩
- Accès au texte intégral et 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. ⟨NNT : ⟩
- Accès au texte intégral et 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. ⟨NNT : ⟩
- Accès au texte intégral et 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
-
- 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
-
2004
Article dans une revue
- titre
- Components of the fundamental category
- auteur
- Eric Goubault
- article
- Applied Categorical Structures, 2004, 12 (1), pp.81-108
- Accès au bibtex
-
- titre
- Formal Molecular Biology
- auteur
- Vincent Danos, Cosimo Laneve
- article
- Theoretical Computer Science, 2004, 325 (1), pp.69-110. ⟨10.1016/j.tcs.2004.03.065⟩
- Accès au bibtex
-
- titre
- Modeling and Querying biological networks
- auteur
- Nathalie Chabrier, Marc Chiaverini, Vincent Danos, Francois Fages, Vincent Schachter
- article
- Theoretical Computer Science, 2004, 325 (1), pp.25-44. ⟨10.1016/j.tcs.2004.03.063⟩
- Accès au bibtex
-
- titre
- Labeled Markov processes: stronger and faster approximations
- auteur
- Vincent Danos, Josée Desharnais, Prakash Panangaden
- article
- Electronic Notes in Theoretical Computer Science, 2004, 87, pp.157-203
- Accès au bibtex
-
- titre
- Comparing hierarchies of types in models of linear logic
- auteur
- Paul-André Melliès
- article
- Information and Computation, 2004, 189 (2), pp.202-234
- Accès au texte intégral et bibtex
-
- titre
- Pattern matching as cut elimination
- auteur
- Serenella Cerrito, Delia Kesner
- article
- Theoretical Computer Science, 2004, 323 (1-3), pp.71--127
- Accès au 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, 2004, 10 (2-3), pp.75-88
- Accès au 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, 2004, 24 (9), pp.1055-1080
- Accès au bibtex
-
- titre
- Intersection types for explicit substitutions
- auteur
- Stéphane Lengrand, Pierre Lescanne, Dan Dougherty, Mariangiola Dezani, Steffen van Bakel
- article
- Information and Computation, 2004, 189 (1), pp.17 - 42
- Accès au bibtex
-
- titre
- Building continuous webbed models for System F
- auteur
- Stefano Berardi, Chantal Berline
- article
- Theoretical Computer Science, 2004, 315, pp.3-34
- Accès au texte intégral et 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
-
- 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
-
- 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
-
- titre
- Ensuring termination by typability
- auteur
- Yuxin Deng
- article
- Aug 2004, pp.619-632
- Accès au bibtex
-
- titre
- Towards an algebraic theory of typed mobile processes
- auteur
- Yuxin Deng
- article
- Jul 2004, pp.445-456
- Accès au 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- titre
- PSN implies SN
- auteur
- Emmanuel Polonovski
- article
- HOR, 2004, Aachen, Germany. pp.78-83
- Accès au texte intégral et bibtex
-
- titre
- Subtyping Union Types
- auteur
- Jérôme Vouillon
- article
- 2004, pp.415 - 429, ⟨10.1007/b100120⟩
- Accès au 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
-
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
-
Thèse
- titre
- Jeux abstraits et composition catégorique
- auteur
- Michel Hirschowitz
- article
- Autre [cs.OH]. Université Paris-Diderot - Paris VII, 2004. Français. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- titre
- Un cadre quantitatif pour la Ludique
- auteur
- François Maurel
- article
- Autre [cs.OH]. Université Paris-Diderot - Paris VII, 2004. Français. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- titre
- Subsitutions explicites, logique et normalisation
- auteur
- Emmanuel Polonovski
- article
- Modélisation et simulation. Université Paris-Diderot - Paris VII, 2004. Français. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
Pré-publication, Document de travail
- titre
- State monads and their algebras
- auteur
- François Métayer
- article
- 2004
- Accès au bibtex
-
- titre
- Time and Games
- auteur
- Benjamin Leperchey
- article
- 2004
- Accès au texte intégral et 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), 2003, 5 (1), pp.549-599
- Accès au bibtex
-
- titre
- Dependent choice, `quote' and the clock
- auteur
- Jean-Louis Krivine
- article
- Theoretical Computer Science, 2003, 308 (1-3), pp.259-276. ⟨10.1016/S0304-3975(02)00776-4⟩
- Accès au texte intégral et bibtex
-
- titre
- A Calculus for Dense Array Distributions
- auteur
- Roberto Di Cosmo, Susanna Pelagatti
- article
- Parallel Processing Letters, 2003, 13 (3), pp.377-388. ⟨10.1142/S0129626403001355⟩
- Accès au bibtex
-
- titre
- A portable implementation for Objective Caml flight
- auteur
- Emmanuel Chailloux, Christian Foisy
- article
- Parallel Processing Letters, 2003, 13 (3), pp.425-436
- Accès au bibtex
-
- titre
- Resolutions by Polygraphs
- auteur
- François Métayer
- article
- Theory and Applications of Categories, 2003, 11 (7), pp.148-184
- Accès au texte intégral et bibtex
-
- titre
- Some geometric perspectives on concurrency theory
- auteur
- Eric Goubault
- article
- Homology, Homotopy and Applications(HHA), 2003, 5 (2), pp.95-136
- Accès au bibtex
-
- titre
- Symmetry and interactivity in Programming
- auteur
- Pierre-Louis Curien
- article
- Bulletin of Symbolic Logic, 2003, 9 (2), pp.169-180
- Accès au texte intégral et bibtex
-
- titre
- Proof Nets and Explicit Substitutions
- auteur
- Roberto Di Cosmo, Delia Kesner, Emmanuel Polonovski
- article
- Mathematical Structures in Computer Science, 2003, 13 (3), pp.409--450
- Accès au 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
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
-
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
-
Ouvrages
- titre
- Unix: Programmation et Communication
- auteur
- Jean-Baptiste Yunès, Jean-Marie Rifflet
- article
- Dunod, pp.800, 2003
- Accès au 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. ⟨NNT : ⟩
- Accès au texte intégral et 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
-
- titre
- Categorical models of linear logic revisited
- auteur
- Paul-André Melliès
- article
- 2003
- Accès au texte intégral et bibtex
-
- titre
- Realizability with constants
- auteur
- Emmanuel Beffara
- article
- 2003
- Accès au texte intégral et 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
-
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
-
- titre
- Beta-eta-complete models for System F
- auteur
- Stefano Berardi, Chantal Berline
- article
- Mathematical Structures in Computer Science, 2002, 12, pp.823-874
- Accès au texte intégral et bibtex
-
- titre
- On Köthe Sequence Spaces and Linear Logic
- auteur
- Thomas Ehrhard
- article
- Mathematical Structures in Computer Science, 2002, 12 (5), pp.579-623
- Accès au 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
-
- titre
- Polarized games
- auteur
- Olivier Laurent
- article
- 2002, pp.265-274, ⟨10.1109/LICS.2002.1029835⟩
- Accès au 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
-
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. ⟨NNT : ⟩
- Accès au texte intégral et 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
-
- 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
-
- 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
-
- 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
-
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, 2001, 258 (1-2), pp.453-490. ⟨10.1016/S0304-3975(00)00032-3⟩
- Accès au bibtex
-
- titre
- On phase semantics and denotational semantics: the exponentials
- auteur
- Thomas Ehrhard, Antonio Bucciarelli
- article
- Annals of Pure and Applied Logic, 2001, 109 (3), pp.205-241
- Accès au 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
-
2000
Article dans une revue
- titre
- Decidability of fourth-order matching
- auteur
- Vincent Padovani
- article
- Mathematical Structures in Computer Science, 2000, 10 (3), pp.361-372
- Accès au bibtex
-
- titre
- Parallel and serial hypercoherences
- auteur
- Thomas Ehrhard
- article
- Theoretical Computer Science, 2000, 247 (1-2), pp.39-81
- Accès au 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, 2000, 102 (3), pp.247-282
- Accès au 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
-
Ouvrages
- 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
-
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, 1999, 152 (1), pp.111-137
- Accès au 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
-
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
-
- titre
- Believe it or not, AJM's games model is a model of classical linear logic
- auteur
- Thomas Ehrhard, Vincent Danos, Patrick Baillot
- article
- Logic in Computer Science, Jun 1997, Poland. pp.68-75
- Accès au bibtex
-
1996
Article dans une revue
- titre
- Projecting Sequential Algorithms on Strongly Stable Functions
- auteur
- Thomas Ehrhard
- article
- Annals of Pure and Applied Logic, 1996, 77 (3), pp.201-244
- Accès au 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
-
- 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
-
1994
Article dans une revue
- titre
- Sequentiality in an Extensional Framework
- auteur
- Thomas Ehrhard, Antonio Bucciarelli
- article
- Information and Computation, 1994, 110 (2), pp.265-296
- Accès au bibtex
-
- titre
- Automatizing termination proofs of recursively defined functions
- auteur
- Pascal Manoury, Simonot Marianne
- article
- Theoretical Computer Science, 1994, 135, pp 319-343
- Accès au 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
-
1993
Article dans une revue
- titre
- Hypercoherences, a strongly stable model of linear logic
- auteur
- Thomas Ehrhard
- article
- Mathematical Structures in Computer Science, 1993, 3 (4), pp.365-385
- Accès au bibtex
-
1964
Article dans une revue
- titre
- Anneaux préordonnés
- auteur
- Jean-Louis Krivine
- article
- Journal d'analyse mathématique, 1964, 12, p. 307-326
- Accès au texte intégral et bibtex
-