48 citations · 112 across the 8 of their papers we have counts for
1 paper · 1 filter
Emma Kerinec, Giulio Manzonetto, Michele Pagani
The call-by-value lambda calculus can be endowed with permutation rules, arising from linear logic proof-nets, having the advantage of unblocking some redexes that otherwise get st…