48 citations · 142 across the 34 of their papers we have counts for
Showing 2012Show all
2 papers · 1 filter
cs.LO2012★ 19 cited
Preservation of Strong Normalisation modulo permutations for the structural lambda-calculus
Beniamino Accattoli, Delia Kesner
Inspired by a recent graphical formalism for lambda-calculus based on linear logic technology, we introduce an untyped structural lambda-calculus, called lambda j, which combines a…
cs.LO2012★ 2 cited
On the Invariance of the Unitary Cost Model for Head Reduction (Long Version)
Beniamino Accattoli, Ugo Dal Lago
The lambda calculus is a widely accepted computational model of higher-order functional pro- grams, yet there is not any direct and universally accepted cost model for it. As a con…