Pierre-Louis Curien

Directeur de Recherche au CNRS


Équipe-projet πr2 INRIA commune avec, et membre du pôle PPS du laboratoire IRIF commun entre le CNRS et l'Université Paris Diderot

Email: curien@irif.fr

Photo

Visitez les sites de Nicolas Curien (économiste et chansonnier), Christophe Curien (peintre et sculpteur), et Rémi Curien (géographe et urbaniste), et si votre humeur vous porte vers la culture et l'éveil des plus petits, visitez la BBthèque de Julie Curien.

Research interests (programming languages, proof theory, algebraic operads and higher categories):

Recent prepublications and publications (see also my publication list )

Some older publications

Introductory course notes

Biographie scientifique

Enseignement


Talks