19 citations · 23 across the 5 of their papers we have counts for
1 paper · 1 filter
Giulio Guerrieri, Luca Paolini, Simona Ronchi Della Rocca
We study an extension of Plotkin's call-by-value lambda-calculus via two commutation rules (sigma-reductions). These commutation rules are sufficient to remove harmful call-by-valu…