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
View general profile