The Permutative λ-Calculus.

Beniamino Accattoli, Delia Kesner

Browse the full LPAR paper archive.