Registered user since Wed 13 Sep 2017

Name: Pierre Vial

All Activities

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