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


News


Preprints


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


    Software