@inproceedings{xi97lfcs
author = "Xi, Hongwei",
title = {Simulating Eta-Expansions with Beta-Reductions in the Second-Order
         Polymorphic Lambda-Calculus},
booktitle = "4th International Symposium
             on Logical Foundations of Computer Science",
series = "Lecture Notes in Computer Science",
volume = "1234",
editor = "Adian, S. and Nerode, A",
year = 1997,
month = "July",
pages = "399--409",
place = "Yaroslavl, Russia"
}