4 citations · 7 across the 6 of their papers we have counts for
1 paper · 1 filter
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…