About the efficient reduction of lambda terms · HackerPapers discussionshttps://hackerpaper.kaipfister.de/p/1701.04240/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:16:22 GMTAbout the efficient reduction of lambda terms — mentioned by fritzohttps://news.ycombinator.com/item?id=30225142urn:hackerpapers:mention:1701.04240:30225142Sat, 05 Feb 2022 19:54:30 GMT<p>Great work Victor, it&#x27;s so encouraging to see Asperti &amp; Guerrini&#x27;s research receive engineering attention! Anton Salikhmetov also had some nice implementations [1] a few years ago. As I understand, even Andrea Asperti didn&#x27;t believe his approach was practical [2] :) Any idea how hard it would be to extend with a nondeterminism operator, as in Plotkin&#x27;s parallel or? (fork a computation and terminate if either branch terminates) [1] https://dblp.org/pid/49/4772.html [2] https://arxiv.org/abs/1701.04240</p><p><a href="https://hackerpaper.kaipfister.de/p/1701.04240/">Paper and discussion history</a>. A mention is not an endorsement.</p>cs.LO