conf.researchr.org / Pierre Vial

Registered user since Wed 13 Sep 2017

Name: Pierre Vial

Contributions

POPL 2021Artifact Evaluator in Artifact Evaluation Committee within the Artifact Evaluation-track
FSCD 2017Author of Types as Resources for Classical Natural Deduction within the FSCD 2017-track
POPL 2018Author of Polyadic Approximations, Fibrations and Intersection Types within the Research Papers-track