Erika De Benedetti

From MaRDI portal
Person:276266

Available identifiers

zbMath Open de-benedetti.erikaMaRDI QIDQ276266

List of research outcomes





PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q49938532021-06-10Paper
Call-by-value, elementary time and intersection types2018-10-25Paper
Characterizing polynomial and exponential complexity classes in elementary lambda-calculus2018-06-14Paper
A type assignment for \(\lambda\)-calculus complete both for FPTIME and strong normalization2016-05-03Paper
Characterizing Polynomial and Exponential Complexity Classes in Elementary Lambda-Calculus2014-09-15Paper

Research outcomes over time

This page was built for person: Erika De Benedetti

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:276266&oldid=6996463"
Powered by MediaWiki