Registered user since Wed 2 May 2018

Name: Delia Kesner

Affiliation: IRIF, France / University of Paris Diderot, France

ICFP 2017 Activities

• Author of Types as Resources for Classical Natural Deduction within the FSCD 2017-track in FSCD 2017
• Author of Foundations of Strong Call by Need within the Research Papers-track in ICFP 2017
• Show activities from other conferences