Erika De Benedetti

According to our database, Erika De Benedetti authored at least 6 papers between 2012 and 2018.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2018

Characterizing polynomial and exponential complexity classes in elementary lambda-calculus.

Patrick Baillot, Erika De Benedetti, Simona Ronchi Della Rocca

Inf. Comput., 2018

2016

A type assignment for λ-calculus complete both for FPTIME and strong normalization.

Erika De Benedetti, Simona Ronchi Della Rocca

Inf. Comput., 2016

2015

Linear logic, type assignment systems and implicit computational complexity. (Logique linéaire, systèmes de types et complexité implicite).

Erika De Benedetti

PhD thesis, 2015

Call-by-Value, Elementary Time and Intersection Types.

Erika De Benedetti, Simona Ronchi Della Rocca

Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2015

2014

A type assignment for lambda-calculus complete both for FPTIME and strong normalization.

Erika De Benedetti, Simona Ronchi Della Rocca

CoRR, 2014

2012

Bounding normalization time through intersection types.

Erika De Benedetti, Simona Ronchi Della Rocca

Proceedings of the Proceedings Sixth Workshop on Intersection Types and Related Systems, 2012