Optimal Derivations in Weak Lambda-calculi and in Orthogonal Terms Rewriting Systems.

Luc Maranget

Browse the full POPL paper archive.