Pierre-Louis Curien Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre-Louis Curien, Claudia Faggian: An approach to innocent strategies as graphs. Inf. Comput. 214: 119-155 (2012)
2011
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre-Louis Curien: Preface. Theor. Comput. Sci. 412(20): 1853-1859 (2011)
2010
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre-Louis Curien, Guillaume Munch-Maccagnoni: The Duality of Computation under Focus. IFIP TCS 2010: 165-181
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre-Louis Curien, Guillaume Munch-Maccagnoni: The duality of computation under focus CoRR abs/1006.2283: (2010)
2009
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre-Louis Curien: Typed Lambda Calculi and Applications, 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings Springer 2009
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJim Allen, Zena M. Ariola, Pierre-Louis Curien, Matthew Fluet, Jeff Foster, Dan Grossman, Robert Harper, Hugo Herbelin, Yannis Smaragdakis, David Walker, Steve Zdancewic: An overview of the Oregon programming languages summer school. SIGPLAN Notices 44(11): 1-3 (2009)
2008
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre-Louis Curien: The Joy of String Diagrams. CSL 2008: 15-22
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre-Louis Curien, Vincent Danos, Jean Krivine, Min Zhang: Computational self-assembly. Theor. Comput. Sci. 404(1-2): 61-75 (2008)
2007
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre-Louis Curien, Hugo Herbelin: Abstract machines for dialogue games CoRR abs/0706.2544: (2007)
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre-Louis Curien: Definability and Full Abstraction. Electr. Notes Theor. Comput. Sci. 172: 301-310 (2007)
2005
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre-Louis Curien, Claudia Faggian: L-Nets, Strategies and Proof-Nets. CSL 2005: 167-183
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre-Louis Curien: Playful, streamlike computation CoRR abs/cs/0501033: (2005)
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre-Louis Curien: Symmetry and interactivity in Programming CoRR abs/cs/0501034: (2005)
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre-Louis Curien: Introduction to linear logic and ludics, part I CoRR abs/cs/0501035: (2005)
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre-Louis Curien: Introduction to linear logic and ludics, part II CoRR abs/cs/0501039: (2005)
2003
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre-Louis Curien: Symmetry and interactivity in programming. Bulletin of Symbolic Logic 9(2): 169-180 (2003)
2002
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre-Louis Curien: Une breve biographie scientifique de Maurice Nivat. Theor. Comput. Sci. 281(1-2): 3-23 (2002)
2001
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre-Louis Curien: Preface to Locus Solum. Mathematical Structures in Computer Science 11(3): 299-300 (2001)
2000
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre-Louis Curien: Abstract Machines, Control, and Sequents. APPSEM 2000: 123-136
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre-Louis Curien, Hugo Herbelin: The duality of computation. ICFP 2000: 233-243
38no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre-Louis Curien, Gordon D. Plotkin, Glynn Winskel: Bistructures, bidomains, and linear logic. Proof, Language, and Interaction 2000: 21-54
1999
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGérard Boudol, Pierre-Louis Curien, Carolina Lavatelli: A semantics for lambda calculi with resources. Mathematical Structures in Computer Science 9(4): 437-482 (1999)
1998
36no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre-Louis Curien, Hugo Herbelin: Computing with Abstract Böhm Trees. Fuji International Symposium on Functional and Logic Programming 1998: 20-39
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre-Louis Curien, Matthew Hennessy, Huimin Lin: Preface. J. Comput. Sci. Technol. 13(6): 481 (1998)
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre-Louis Curien: Explicit substitutions: A short survey. J. Comput. Sci. Technol. 13(6): 562-563 (1998)
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre-Louis Curien: Abstract Böhm trees. Mathematical Structures in Computer Science 8(6): 559-591 (1998)
1996
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre-Louis Curien, Thérèse Hardin, Jean-Jacques Lévy: Confluence Properties of Weak and Strong Calculi of Explicit Substitutions. J. ACM 43(2): 362-397 (1996)
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre-Louis Curien, Roberto Di Cosmo: A Confluent Reduction for the lambda-Calculus with Surjective Pairing and Terminal Object. J. Funct. Program. 6(2): 299-327 (1996)
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre-Louis Curien, Thérèse Hardin, Alejandro Ríos: Strong Normalizations of Substitutions. J. Log. Comput. 6(6): 799-817 (1996)
1995
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Bellucci, Martín Abadi, Pierre-Louis Curien: A Model for Formal Parametric Polymorphism: A PER Interpretation for System R. TLCA 1995: 32-46
1994
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre-Louis Curien, Giorgio Ghelli: Decidability and Confluence of \beta\eta\hboxtop_\le Reduction in F_\le Inf. Comput. 109(1/2): 57-114 (1994)
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert Cartwright, Pierre-Louis Curien, Matthias Felleisen: Fully Abstract Semantics for Observably Sequential Languages Inf. Comput. 111(2): 297-401 (1994)
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre-Louis Curien, Thérèse Hardin: Yet Yet a Counterexample for lambda + SP. J. Funct. Program. 4(1): 113-115 (1994)
1993
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre-Louis Curien: On the Symmetry of Sequentiality. MFPS 1993: 29-71
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Luca Cardelli, Pierre-Louis Curien: Formal Parametric Polymorphism. POPL 1993: 157-170
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre-Louis Curien: Substitution up to Isomorphism. Fundam. Inform. 19(1/2): 51-85 (1993)
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Luca Cardelli, Pierre-Louis Curien: Formal Parametric Polymorphism. Theor. Comput. Sci. 121(1&2): 9-58 (1993)
1992
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre-Louis Curien: Observable Algorithms on Concrete Data Structures LICS 1992: 432-443
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre-Louis Curien, Thérèse Hardin, Alejandro Ríos: Strong Normalization of Substitutions. MFCS 1992: 209-217
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre-Louis Curien, Giorgio Ghelli: Coherence of Subsumption, Minimum Typing and Type-Checking in F<=. Mathematical Structures in Computer Science 2(1): 55-91 (1992)
1991
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid H. Pitt, Pierre-Louis Curien, Samson Abramsky, Andrew M. Pitts, Axel Poigné, David E. Rydeheard: Category Theory and Computer Science, 4th International Conference, Paris, France, September 3-6, 1991, Proceedings Springer 1991
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre-Louis Curien, Roberto Di Cosmo: A Concluent Reduction for the Lambda-Calculus with Surjective Pairing and Terminal Object. ICALP 1991: 291-302
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre-Louis Curien, Giorgio Ghelli: On Confluence for Weakly Normalizing Systems. RTA 1991: 215-225
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre-Louis Curien, Giorgio Ghelli: Subtyping + Extensionality: Confluence of beta-eta-top reduction in F<=. TACS 1991: 731-749
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Luca Cardelli, Pierre-Louis Curien, Jean-Jacques Lévy: Explicit Substitutions. J. Funct. Program. 1(4): 375-416 (1991)
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre-Louis Curien: An Abstract Framework for Environment Machines. Theor. Comput. Sci. 82(2): 389-402 (1991)
1990
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre-Louis Curien, Giorgio Ghelli: Coherence of Subsumption. CAAP 1990: 132-146
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartín Abadi, Luca Cardelli, Pierre-Louis Curien, Jean-Jacques Lévy: Explicit Substitutions. POPL 1990: 31-46
1989
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre-Louis Curien, Adam Obtulowicz: Partiality, Cartesian closedness and Toposes Inf. Comput. 80(1): 50-95 (1989)
1987
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGuy Cousineau, Pierre-Louis Curien, Michel Mauny: The Categorical Abstract Machine. Sci. Comput. Program. 8(2): 173-202 (1987)
1986
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGuy Cousineau, Pierre-Louis Curien, Bernard Robinet: Combinators and Functional Programming Languages, Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985, Proceedings Springer 1986
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre-Louis Curien: Categorical Combinators Information and Control 69(1-3): 188-254 (1986)
1985
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGuy Cousineau, Pierre-Louis Curien, Michel Mauny, Ascánder Suárez: Combinateures, Catégoriques et Implémentation des Languages Fonctionnels. Combinators and Functional Programming Languages 1985: 85-103
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre-Louis Curien: Syntactic Equivalences Inducing Semantic Equivalences. European Conference on Computer Algebra (2) 1985: 168-178
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGuy Cousineau, Pierre-Louis Curien, Michel Mauny: The Categorical Abstract Machine. FPCA 1985: 50-64
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre-Louis Curien: Categorial Combinatory Logic. ICALP 1985: 130-139
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre-Louis Curien: Typed Categorial Combinatory Logic. TAPSOFT, Vol.1 1985: 157-172
1982
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLG. Berry, Pierre-Louis Curien: Sequential Algorithms on Concrete Data Structures. Theor. Comput. Sci. 20: 265-321 (1982)

Coauthor Index

1Martín Abadi [11] [14] [22] [24] [29]
2Samson Abramsky [18]
3Jim Allen [53]
4Zena M. Ariola [53]
5Roberto Bellucci [29]
6G. Berry [1]
7Gérard Boudol [37]
8Luca Cardelli [11] [14] [22] [24]
9Robert Cartwright [27]
10Roberto Di Cosmo [17] [31]
11Guy Cousineau [4] [6] [8] [9]
12Vincent Danos [51]
13Claudia Faggian [48] [58]
14Matthias Felleisen [27]
15Matthew Fluet [53]
16Jeff Foster [53]
17Giorgio Ghelli [12] [15] [16] [19] [28]
18Dan Grossman [53]
19Thérèse Hardin [20] [26] [30] [32]
20Robert Harper [53]
21Matthew Hennessy [35]
22Hugo Herbelin [36] [39] [50] [53]
23Jean Krivine [51]
24Carolina Lavatelli [37]
25Jean-Jacques Lévy [11] [14] [32]
26Huimin Lin [35]
27Michel Mauny [4] [6] [9]
28Guillaume Munch-Maccagnoni [55] [56]
29Adam Obtulowicz [10]
30David H. Pitt [18]
31Andrew M. Pitts [18]
32Gordon D. Plotkin [38]
33Axel Poigné [18]
34Alejandro Ríos [20] [30]
35Bernard Robinet [8]
36David E. Rydeheard [18]
37Yannis Smaragdakis [53]
38Ascánder Suárez [6]
39David Walker [53]
40Glynn Winskel [38]
41Steve Zdancewic [53]
42Min Zhang [51]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page