Gérard Boudol, Cosimo Laneve. The Discriminating Power of Multiplicities in the Lambda-Calculus. Inf. Comput., 126(1):83-102, 1996.
@article{BoudolL96,
title = {The Discriminating Power of Multiplicities in the Lambda-Calculus},
author = {Gérard Boudol and Cosimo Laneve},
year = {1996},
researchr = {https://researchr.org/publication/BoudolL96},
cites = {0},
citedby = {0},
journal = {Inf. Comput.},
volume = {126},
number = {1},
pages = {83-102},
}