New Semantical Insights Into Call-by-Value λ-Calculus

DOI10.3233/FI-2019-1862zbMath1434.68092OpenAlexW2981389078MaRDI QIDQ5212041

Giulio Manzonetto, Michele Pagani, Simonetta Ronchi della Rocca

Publication date: 24 January 2020

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2019-1862

zbMATH Keywords

relational semanticslambda calculusintersection typesapproximation theoremcall-by-value

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (2)

Unnamed Item ⋮ Quantitative global memory

This page was built for publication: New Semantical Insights Into Call-by-Value λ-Calculus