Registered user since Wed 2 May 2018

Name:Delia Kesner
Affiliation:IRIF, France / University of Paris Diderot, France

Contributions

POPL 2022 A Fine-Grained Computational Interpretation of Girard's Intuitionistic Proof-Nets
Show activities from other conferences

Using general profile