37 citations · 96 across the 19 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.LO2022★ 1 cited
Node Replication: Theory And Practice
Delia Kesner, Loïc Peyrot, Daniel Ventura
We define and study a term calculus implementing higher-order node replication. It is used to specify two different (weak) evaluation strategies: call-by-name and fully lazy call-b…
cs.LO2022★ 1 cited
A Faithful and Quantitative Notion of Distant Reduction for the Lambda-Calculus with Generalized Applications
José Espírito Santo, Delia Kesner, Loïc Peyrot
We introduce a call-by-name lambda-calculus with generalized applications which is equipped with distant reduction. This allows to unblock -redexes without resorting to th…