Luc Maranget
Optimal Derivations in Weak λ-calculi and in Orthogonal Terms Rewriting Systems
POPL, 1991.
@inproceedings{POPL-1991-Maranget, author = "Luc Maranget", booktitle = "{Conference Record of the 18th Annual Symposium on Principles of Programming Languages}", doi = "10.1145/99583.99618", editor = "David S. Wise", isbn = "0-89791-419-8", pages = "255--269", publisher = "{ACM Press}", title = "{Optimal Derivations in Weak λ-calculi and in Orthogonal Terms Rewriting Systems}", year = 1991, }