conf.researchr.org / Pierre Vial

Registered user since Wed 13 Sep 2017

Name: Pierre Vial

Contributions

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