The Weak Call-By-Value λ-Calculus is Reasonable for Both Time and Space · HackerPapers discussionshttps://hackerpaper.kaipfister.de/p/1902.07515/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:16:22 GMTThe Weak Call-By-Value λ-Calculus is Reasonable for Both Time and Space — mentioned by mananaysiemprehttps://news.ycombinator.com/item?id=28563000urn:hackerpapers:mention:1902.07515:28563000Fri, 17 Sep 2021 09:14:01 GMT<p>Didn’t have access to my archive at the time, so got some of the details wrong it seems (e.g. CbV not CbN, result for time is older than I remembered). Main thrust should remain valid, but be careful. In any case, here you go: Dal Lago, Martini (2008). “The weak lambda calculus as a reasonable machine”. DOI:10.1016/j.tcs.2008.01.044, apparently not on arXiv. Accattoli (2012). “A fresh look at the lambda-calculus”. DOI: 10.4230/LIPIcs.FSCD.2019.1, apparently not on arXiv. Accattoli, Dal Lago (2014). “Beta reduction is invariant, indeed”. DOI: 10.1145/2603088.2603105, arXiv: 1405.3311 [cs.LO].…</p><p><a href="https://hackerpaper.kaipfister.de/p/1902.07515/">Paper and discussion history</a>. A mention is not an endorsement.</p>cs.CC