ICFP 2022
Sun 11 - Fri 16 September 2022 Ljubljana, Slovenia
Delia Kesner

Registered user since Wed 2 May 2018

Name:Delia Kesner
Country:France
Affiliation:Université de Paris; CNRS; IRIF; Institut Universitaire de France

Contributions

ICFP 2022 Call-by-Push-Value, Quantitatively
TyDe 2022 A Computational Interpretation of Girard's Intuitionistic Proof-Nets
Show activities from other conferences

ICFP 2022-profile
View general profile