Erika De Benedetti
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Bounding normalization time through intersection types | 2021-06-10 | Paper |
| Bounding normalization time through intersection types (available as arXiv preprint) | 2021-06-10 | Paper |
| Call-by-value, elementary time and intersection types | 2018-10-25 | Paper |
| Characterizing polynomial and exponential complexity classes in elementary lambda-calculus Information and Computation | 2018-06-14 | Paper |
| A type assignment for -calculus complete both for FPTIME and strong normalization Information and Computation | 2016-05-03 | Paper |
| Characterizing Polynomial and Exponential Complexity Classes in Elementary Lambda-Calculus Advanced Information Systems Engineering | 2014-09-15 | Paper |
Research outcomes over time
This page was built for person: Erika De Benedetti
