Pierre-Louis Curien
发表
Pierre-Louis Curien,
2005,
ArXiv.
Pierre-Louis Curien,
1998,
Math. Struct. Comput. Sci..
Pierre-Louis Curien,
2009
.
Martín Abadi,
Luca Cardelli,
Pierre-Louis Curien,
1993,
Theor. Comput. Sci..
Pierre-Louis Curien,
P. Curien,
2006
.
Pierre-Louis Curien,
1993
.
Pierre-Louis Curien,
1993,
Progress in Theoretical Computer Science.
Roberto Di Cosmo,
Pierre-Louis Curien,
1996,
J. Funct. Program..
Pierre-Louis Curien,
1993,
MFPS.
Giorgio Ghelli,
Pierre-Louis Curien,
1992,
Math. Struct. Comput. Sci..
Pierre-Louis Curien,
K. Mulmuley,
1984,
FOCS.
Pierre-Louis Curien,
Cédric Ho Thanh,
Samuel Mimram,
2019,
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Pierre-Louis Curien,
Samuel Mimram,
S. Mimram,
2017,
Log. Methods Comput. Sci..
Pierre-Louis Curien,
Michel Mauny,
Guy Cousineau,
1987,
Sci. Comput. Program..
Pierre-Louis Curien,
Guillaume Munch-Maccagnoni,
P. Curien,
2010,
IFIP TCS.
Martin Hofmann,
Richard Garner,
Pierre-Louis Curien,
2014,
Theor. Comput. Sci..
Giorgio Ghelli,
Pierre-Louis Curien,
1991
.
Hugo Herbelin,
Pierre-Louis Curien,
2007,
ArXiv.
Pierre-Louis Curien,
Marcelo P. Fiore,
Guillaume Munch-Maccagnoni,
2016,
POPL.
Pierre-Louis Curien,
P. Curien,
1998,
Journal of Computer Science and Technology.
Pierre-Louis Curien,
Jovana Obradović,
2020,
Appl. Categorical Struct..
Pierre-Louis Curien,
2005,
ArXiv.
Giorgio Ghelli,
Pierre-Louis Curien,
1994,
Inf. Comput..
Thérèse Hardin,
Pierre-Louis Curien,
T. Hardin,
1994,
Journal of functional programming.
Jean-Jacques Lévy,
Pierre-Louis Curien,
Gérard Berry,
1983
.
Roberto M. Amadio,
Pierre-Louis Curien,
1998
.
Rade T. Zivaljevic,
Zoran Petric,
Pierre-Louis Curien,
2019,
Ann. Pure Appl. Log..
Pierre-Louis Curien,
1985,
European Conference on Computer Algebra.
Paul G. Spirakis,
Grzegorz Rozenberg,
Lila Kari,
2020,
Theor. Comput. Sci..
Roberto M. Amadio,
Pierre-Louis Curien,
R. Amadio,
1998,
Cambridge tracts in theoretical computer science.
Alejandro Ríos,
Thérèse Hardin,
Pierre-Louis Curien,
1996,
J. Log. Comput..
Pierre-Louis Curien,
2012,
ArXiv.
Pierre-Louis Curien,
1993,
Fundam. Informaticae.
Adam Obtulowicz,
Pierre-Louis Curien,
P. Curien,
1989,
Inf. Comput..
Pierre-Louis Curien,
Claudia Faggian,
C. Faggian,
2012,
Inf. Comput..
Roberto Di Cosmo,
Pierre-Louis Curien,
1991,
ICALP.
Giorgio Ghelli,
Pierre-Louis Curien,
1990,
CAAP.
Roberto M. Amadio,
Pierre-Louis Curien,
1998
.
Pierre-Louis Curien,
P. Curien,
2008,
CSL.
Hugo Herbelin,
Pierre-Louis Curien,
Hugo Herbelin,
1998,
Fuji International Symposium on Functional and Logic Programming.
Glynn Winskel,
Gordon D. Plotkin,
Pierre-Louis Curien,
2000,
Proof, Language, and Interaction.
Pierre-Louis Curien,
1993
.
Martín Abadi,
Luca Cardelli,
Pierre-Louis Curien,
1993,
POPL '93.
Roberto M. Amadio,
Pierre-Louis Curien,
R. Amadio,
2008
.
Pierre-Louis Curien,
Michel Mauny,
Guy Cousineau,
1986
.
Bernard Robinet,
Pierre-Louis Curien,
Guy Cousineau,
1986
.
Pierre-Louis Curien,
G. Berry,
G. Berry,
1982,
Theor. Comput. Sci..
Pierre-Louis Curien,
Ascánder Suárez,
Michel Mauny,
1985,
Combinators and Functional Programming Languages.
Pierre-Louis Curien,
1985,
TAPSOFT, Vol.1.
Pierre-Louis Curien,
P. Curien,
2011
.
Pierre-Louis Curien,
P. Curien,
1991,
Theor. Comput. Sci..
Giorgio Ghelli,
Pierre-Louis Curien,
1991,
RTA.
Pierre-Louis Curien,
2003,
Bull. Symb. Log..
Pierre-Louis Curien,
2002,
Theor. Comput. Sci..
Matthias Felleisen,
Robert Cartwright,
Pierre-Louis Curien,
1994,
Inf. Comput..
Pierre-Louis Curien,
1985,
ICALP.
Samson Abramsky,
Andrew M. Pitts,
David E. Rydeheard,
1991
.
Bernard Robinet,
Pierre-Louis Curien,
Guy Cousineau,
1986
.
Martín Abadi,
Jean-Jacques Lévy,
Luca Cardelli,
1989,
POPL '90.
Pierre-Louis Curien,
Gérard Boudol,
Carolina Lavatelli,
1999,
Mathematical Structures in Computer Science.
Jean-Jacques Lévy,
Thérèse Hardin,
Pierre-Louis Curien,
1996,
JACM.
Pierre-Louis Curien,
1989,
Stud Logica.
Pierre-Louis Curien,
2014
.
Martín Abadi,
Pierre-Louis Curien,
Roberto Bellucci,
1995,
TLCA.
Pierre-Louis Curien,
Michel Mauny,
Guy Cousineau,
1987,
Sci. Comput. Program..
Pierre-Louis Curien,
P. Curien,
1986,
Inf. Control..
Pierre-Louis Curien,
Gérard P. Huet,
Antoine Petit,
2017,
Bull. EATCS.
Martín Abadi,
Jean-Jacques Lévy,
Luca Cardelli,
1989,
POPL '90.
Giorgio Ghelli,
Pierre-Louis Curien,
1991,
TACS.
Dan Grossman,
David Walker,
Yannis Smaragdakis,
2010,
SIGP.
Pierre-Louis Curien,
1992,
[1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science.
Jean-Louis Krivine,
Hugo Herbelin,
Pierre-Louis Curien,
2009
.
Pierre-Louis Curien,
2001,
Math. Struct. Comput. Sci..
Pierre-Louis Curien,
2009
.
Vincent Danos,
Min Zhang,
Jean Krivine,
2008,
Theor. Comput. Sci..
Jean-Jacques Lévy,
Pierre-Louis Curien,
G Berry,
1986
.
Alejandro Ríos,
Thérèse Hardin,
Pierre-Louis Curien,
1992,
MFCS.
Hugo Herbelin,
Pierre-Louis Curien,
Hugo Herbelin,
2000,
ICFP '00.
Pierre-Louis Curien,
P. Curien,
2000,
APPSEM.
Pierre-Louis Curien,
Claudia Faggian,
C. Faggian,
2005,
CSL.
Pierre-Louis Curien,
2009
.
Pierre-Louis Curien,
B'er'enice Delcroix-Oger,
Jovana Obradovi'c,
2022
.
Pierre-Louis Curien,
Yves Guiraud,
Alen DHuri'c,
2021,
2107.00498.
Pierre-Louis Curien,
Jovana Obradovi'c,
P. Curien,
2016,
Higher Structures.
Roberto M. Amadio,
Pierre-Louis Curien,
1998
.
Glynn Winskel,
Pierre-Louis Curien,
Gordon Plotkin,
1994
.
Roberto M. Amadio,
Pierre-Louis Curien,
1998
.
Pierre-Louis Curien,
Samuel Mimram,
C'edric Ho Thanh,
2019
.
Roberto M. Amadio,
Pierre-Louis Curien,
1993
.
Pierre-Louis Curien,
Jovan Obradovic,
Jovana Obradović,
2017,
Journal of Homotopy and Related Structures.