Erika De Benedetti

Publication Activity (10 Years)

Years Active: 2012-2018
Publications (10 Years): 3

Top Topics

Programming Language

Exponential Size

Database Query Languages

Top Venues

École normale supérieure de Lyon, France (PHD)

Education History

École normale supérieure de Lyon, France

PHD

Publications

Patrick Baillot, Erika De Benedetti, Simona Ronchi Della Rocca
Characterizing polynomial and exponential complexity classes in elementary lambda-calculus. Inf. Comput. 261 (2018)
Erika De Benedetti, Simona Ronchi Della Rocca
A type assignment for λ-calculus complete both for FPTIME and strong normalization. Inf. Comput. 248 (2016)
Erika De Benedetti, Simona Ronchi Della Rocca
Call-by-Value, Elementary Time and Intersection Types. FOPARA (2015)
Patrick Baillot, Erika De Benedetti, Simona Ronchi Della Rocca
Characterizing Polynomial and Exponential Complexity Classes in Elementary Lambda-Calculus. IFIP TCS (2014)
Erika De Benedetti, Simona Ronchi Della Rocca
A type assignment for lambda-calculus complete both for FPTIME and strong normalization. CoRR (2014)
Erika De Benedetti, Simona Ronchi Della Rocca
Bounding normalization time through intersection types. ITRS (2012)