Pierre Clairambault

CNRS researcher (CR), member of the Plume team in the LIP laboratory, at ENS Lyon.

Member of the CoNRS, Section 6.

Email : pierre.clairambault@ens-lyon.fr

Équipe Plume
Laboratoire de l'Informatique du Parallélisme
ENS de Lyon
46 allée d'Italie
69364 Lyon

Research Interests



Publications in conferences

Publications in journals

Book Chapters

  • Simon Castellan, Pierre Clairambault and Peter Dybjer. Categories with Families: Unityped, Simply Typed, and Dependently Typed. [pdf, arXiv]

    PhD thesis