Georges Gonthier, Martín Abadi, Jean-Jacques Lévy
The Geometry of Optimal λ Reduction
POPL, 1992.
@inproceedings{POPL-1992-GonthierAL,
author = "Georges Gonthier and Martín Abadi and Jean-Jacques Lévy",
booktitle = "{Conference Record of the 19th Annual Symposium on Principles of Programming Languages}",
doi = "10.1145/143165.143172",
editor = "Ravi Sethi",
isbn = "0-89791-453-8",
pages = "15--26",
publisher = "{ACM Press}",
title = "{The Geometry of Optimal λ Reduction}",
year = 1992,
}