Pierre-Louis Curien

77 papers A* 7A 1B 4Journal 47Unranked 13
YearRankTypeTitle / Venue / Authors
2025 J jnl
The higher dimensional propositional calculus.
Log. J. IGPL
Antonio Bucciarelli, Pierre-Louis Curien, Antonio Ledda, Francesco Paoli, Antonino Salibra
2024 J jnl
Foreword.
Math. Struct. Comput. Sci.
Pierre-Louis Curien
2024 J jnl
Foreword.
Math. Struct. Comput. Sci.
Pierre-Louis Curien
2024 — ch.
Semantics and Syntax, Between Computer Science and Mathematics.
The French School of Programming
Pierre-Louis Curien
2024 J jnl
Term rewriting on nestohedra.
CoRR
Pierre-Louis Curien, Guillaume Laplante-Anfossi
2023 J jnl
Preface for the special issue of Theoretical Computer Science in honor of the 60
Theor. Comput. Sci.
Yijia Chen, Pierre-Louis Curien, Yuxin Deng, Min Zhang
2020 J jnl
Categorified Cyclic Operads.
Appl. Categorical Struct.
Pierre-Louis Curien, Jovana Obradovic
2020 J jnl
Preface.
Theor. Comput. Sci.
Giorgio Ausiello, Lila Kari, Grzegorz Rozenberg, Donald Sannella, Paul G. Spirakis, Pierre-Louis Curien
2020 J jnl
Proofs and surfaces.
Ann. Pure Appl. Log.
Djordje Baralic, Pierre-Louis Curien, Marina Milicevic, Jovana Obradovic, Zoran Petric, Mladen Zekic, Rade T. Zivaljevic
2019 A* conf
A Sequent Calculus for Opetopes.
LICS
Cédric Ho Thanh, Pierre-Louis Curien, Samuel Mimram
2019 J jnl
Preface.
Theor. Comput. Sci.
Giorgio Ausiello, Lila Kari, Grzegorz Rozenberg, Donald Sannella, Paul G. Spirakis, Pierre-Louis Curien
2017 J jnl
Coherent Presentations of Monoidal Categories.
CoRR
Pierre-Louis Curien, Samuel Mimram
2017 J jnl
Coherent Presentations of Monoidal Categories.
Log. Methods Comput. Sci.
Pierre-Louis Curien, Samuel Mimram
2017 J jnl
Obituary Maurice Nivat (1937-2017).
Bull. EATCS
Pierre-Louis Curien, Gérard P. Huet, Antoine Petit
2016 A* conf
A theory of effects and resources: adjunction models and polarised calculi.
POPL
Pierre-Louis Curien, Marcelo P. Fiore, Guillaume Munch-Maccagnoni
2014 J jnl
Revisiting the categorical interpretation of dependent type theory.
Theor. Comput. Sci.
Pierre-Louis Curien, Richard Garner, Martin Hofmann
2012 J jnl
An approach to innocent strategies as graphs.
Inf. Comput.
Pierre-Louis Curien, Claudia Faggian
2012 J jnl
Operads, clones, and distributive laws
CoRR
Pierre-Louis Curien
2011 J jnl
Preface.
Theor. Comput. Sci.
Pierre-Louis Curien
2010 — conf
The Duality of Computation under Focus.
IFIP TCS
Pierre-Louis Curien, Guillaume Munch-Maccagnoni
2010 J jnl
The duality of computation under focus
CoRR
Pierre-Louis Curien, Guillaume Munch-Maccagnoni
2009 J jnl
An overview of the Oregon programming languages summer school.
ACM SIGPLAN Notices
Jim Allen, Zena M. Ariola, Pierre-Louis Curien, Matthew Fluet, Jeffrey S. Foster, Dan Grossman, Robert Harper, Hugo Herbelin, Yannis Smaragdakis, David Walker, Steve Zdancewic
2009 — ed.
Typed Lambda Calculi and Applications, 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings
TLCA
Pierre-Louis Curien
2008 J jnl
Computational self-assembly.
Theor. Comput. Sci.
Pierre-Louis Curien, Vincent Danos, Jean Krivine, Min Zhang
2008 B conf
The Joy of String Diagrams.
CSL
Pierre-Louis Curien
2007 J jnl
Abstract machines for dialogue games
CoRR
Pierre-Louis Curien, Hugo Herbelin
2007 — conf
Definability and Full Abstraction.
Computation, Meaning, and Logic
Pierre-Louis Curien
2005 J jnl
Introduction to linear logic and ludics, part I
CoRR
Pierre-Louis Curien
2005 J jnl
Introduction to linear logic and ludics, part II
CoRR
Pierre-Louis Curien
2005 B conf
L-Nets, Strategies and Proof-Nets.
CSL
Pierre-Louis Curien, Claudia Faggian
2005 J jnl
Playful, streamlike computation
CoRR
Pierre-Louis Curien
2005 J jnl
Symmetry and interactivity in Programming
CoRR
Pierre-Louis Curien
2003 J jnl
Symmetry and interactivity in programming.
Bull. Symb. Log.
Pierre-Louis Curien
2002 J jnl
Une breve biographie scientifique de Maurice Nivat.
Theor. Comput. Sci.
Pierre-Louis Curien
2001 J jnl
Preface to Locus Solum.
Math. Struct. Comput. Sci.
Pierre-Louis Curien
2000 — conf
Abstract Machines, Control, and Sequents.
APPSEM
Pierre-Louis Curien
2000 — conf
Bistructures, bidomains, and linear logic.
Proof, Language, and Interaction
Pierre-Louis Curien, Gordon D. Plotkin, Glynn Winskel
2000 A conf
The duality of computation.
ICFP
Pierre-Louis Curien, Hugo Herbelin
1999 J jnl
A semantics for lambda calculi with resources.
Math. Struct. Comput. Sci.
Gérard Boudol, Pierre-Louis Curien, Carolina Lavatelli
1998 J jnl
Abstract Böhm trees.
Math. Struct. Comput. Sci.
Pierre-Louis Curien
1998 — conf
Computing with Abstract Böhm Trees.
Fuji International Symposium on Functional and Logic Programming
Pierre-Louis Curien, Hugo Herbelin
1998 — book
Domains and lambda-calculi.
Roberto M. Amadio, Pierre-Louis Curien
1998 J jnl
Explicit substitutions: A short survey.
J. Comput. Sci. Technol.
Pierre-Louis Curien
1998 J jnl
Preface.
J. Comput. Sci. Technol.
Pierre-Louis Curien, Matthew Hennessy, Huimin Lin
1996 J jnl
A Confluent Reduction for the lambda-Calculus with Surjective Pairing and Terminal Object.
J. Funct. Program.
Pierre-Louis Curien, Roberto Di Cosmo
1996 J jnl
Confluence Properties of Weak and Strong Calculi of Explicit Substitutions.
J. ACM
Pierre-Louis Curien, Thérèse Hardin, Jean-Jacques Lévy
1996 J jnl
Strong Normalizations of Substitutions.
J. Log. Comput.
Pierre-Louis Curien, Thérèse Hardin, Alejandro Ríos
1995 — conf
A Model for Formal Parametric Polymorphism: A PER Interpretation for System R.
TLCA
Roberto Bellucci, Martín Abadi, Pierre-Louis Curien
1994 J jnl
Decidability and Confluence of \beta\eta\hboxtop_\le Reduction in F_\le
Inf. Comput.
Pierre-Louis Curien, Giorgio Ghelli
1994 J jnl
Fully Abstract Semantics for Observably Sequential Languages
Inf. Comput.
Robert Cartwright, Pierre-Louis Curien, Matthias Felleisen
1994 J jnl
Yet Yet a Counterexample for lambda + SP.
J. Funct. Program.
Pierre-Louis Curien, Thérèse Hardin
1993 A* conf
Formal Parametric Polymorphism.
POPL
Martín Abadi, Luca Cardelli, Pierre-Louis Curien
1993 J jnl
Formal Parametric Polymorphism.
Theor. Comput. Sci.
Martín Abadi, Luca Cardelli, Pierre-Louis Curien
1993 B conf
On the Symmetry of Sequentiality.
MFPS
Pierre-Louis Curien
1993 J jnl
Substitution up to Isomorphism.
Fundam. Informaticae
Pierre-Louis Curien
1992 J jnl
Coherence of Subsumption, Minimum Typing and Type-Checking in F
Math. Struct. Comput. Sci.
Pierre-Louis Curien, Giorgio Ghelli
1992 A* conf
Observable Algorithms on Concrete Data Structures
LICS
Pierre-Louis Curien
1992 B conf
Strong Normalization of Substitutions.
MFCS
Pierre-Louis Curien, Thérèse Hardin, Alejandro Ríos
1991 A* conf
A Concluent Reduction for the Lambda-Calculus with Surjective Pairing and Terminal Object.
ICALP
Pierre-Louis Curien, Roberto Di Cosmo
1991 J jnl
An Abstract Framework for Environment Machines.
Theor. Comput. Sci.
Pierre-Louis Curien
1991 — ed.
Category Theory and Computer Science, 4th International Conference, Paris, France, September 3-6, 1991, Proceedings
CTCS
David H. Pitt, Pierre-Louis Curien, Samson Abramsky, Andrew M. Pitts, Axel Poigné, David E. Rydeheard
1991 J jnl
Explicit Substitutions.
J. Funct. Program.
Martín Abadi, Luca Cardelli, Pierre-Louis Curien, Jean-Jacques Lévy
1991 — conf
On Confluence for Weakly Normalizing Systems.
RTA
Pierre-Louis Curien, Giorgio Ghelli
1991 — conf
Subtyping + Extensionality: Confluence of beta-eta-top reduction in F
TACS
Pierre-Louis Curien, Giorgio Ghelli
1990 — conf
Coherence of Subsumption.
CAAP
Pierre-Louis Curien, Giorgio Ghelli
1990 A* conf
Explicit Substitutions.
POPL
Martín Abadi, Luca Cardelli, Pierre-Louis Curien, Jean-Jacques Lévy
1989 J jnl
Alpha-conversion, conditions on variables and categorical logic.
Stud Logica
Pierre-Louis Curien
1989 J jnl
Partiality, Cartesian closedness and Toposes
Inf. Comput.
Pierre-Louis Curien, Adam Obtulowicz
1987 J jnl
The Categorical Abstract Machine.
Sci. Comput. Program.
Guy Cousineau, Pierre-Louis Curien, Michel Mauny
1986 J jnl
Categorical Combinators
Inf. Control.
Pierre-Louis Curien
1986 — ed.
Combinators and Functional Programming Languages, Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985, Proceedings
Combinators and Functional Programming Languages
Guy Cousineau, Pierre-Louis Curien, Bernard J. Robinet
1985 A* conf
Categorial Combinatory Logic.
ICALP
Pierre-Louis Curien
1985 — conf
Combinateures, Catégoriques et Implémentation des Languages Fonctionnels.
Combinators and Functional Programming Languages
Guy Cousineau, Pierre-Louis Curien, Michel Mauny, Ascánder Suárez
1985 — conf
Syntactic Equivalences Inducing Semantic Equivalences.
European Conference on Computer Algebra (2)
Pierre-Louis Curien
1985 — conf
The Categorical Abstract Machine.
FPCA
Guy Cousineau, Pierre-Louis Curien, Michel Mauny
1985 — conf
Typed Categorial Combinatory Logic.
TAPSOFT, Vol.1
Pierre-Louis Curien
1982 J jnl
Sequential Algorithms on Concrete Data Structures.
Theor. Comput. Sci.
Gérard Berry, Pierre-Louis Curien