Registered user since Wed 2 May 2018
Name:Delia Kesner
Country:France
Affiliation:Université Paris Cité - CNRS - IRIF
Personal website: http://www.irif.fr/~kesner
Research interests:Theory of Programming Languages, Lambda Calculus, Linear Logic, Rewriting, Proof Theory
Contributions
Using general profile