Registered user since Wed 2 May 2018

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

Contributions

POPL 2023 Quantitative Inhabitation for Different Lambda Calculi in a Unifying Framework
Show activities from other conferences

Using general profile