Martin-Lf la Coq.

Arthur Adjedj, Meven Lennon-Bertrand, Kenji Maillard, Pierre-Marie Pdrot, Loc Pujet

Browse the full CPP paper archive.