New Semantical Insights Into Call-by-Value λ-Calculus
From MaRDI portal
Publication:5212041
DOI10.3233/FI-2019-1862zbMath1434.68092MaRDI QIDQ5212041
Giulio Manzonetto, Michele Pagani, Simonetta Ronchi della Rocca
Publication date: 24 January 2020
Published in: Fundamenta Informaticae (Search for Journal in Brave)
68N18: Functional programming and lambda calculus