Call-by-value, elementary time and intersection types

DOI10.1007/978-3-319-46559-3_3zbMath1398.68085OpenAlexW2523365968MaRDI QIDQ1990483

Erika De Benedetti, Simonetta Ronchi della Rocca

Publication date: 25 October 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-46559-3_3

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Functional programming and lambda calculus (68N18)

This page was built for publication: Call-by-value, elementary time and intersection types