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, }