Registered user since Wed 2 May 2018
Name: Delia Kesner
Affiliation: IRIF, France / University of Paris Diderot, France
Contributions
FSCD 2017 | Types as Resources for Classical Natural Deduction | ||||||||||||||||||||||||||||||||||||||||
ICFP 2017 | Foundations of Strong Call by Need | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ICFP 2017-profile
View general profile
View general profile