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…