Gerd G. Hillebrand, Paris C. Kanellakis
On the Expressive Power of Simply Typed and Let-Polymorphic λ Calculi
LICS, 1996.
@inproceedings{LICS-1996-HillebrandK,
author = "Gerd G. Hillebrand and Paris C. Kanellakis",
booktitle = "{Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science}",
doi = "10.1109/LICS.1996.561337",
isbn = "0-8186-7463-6",
pages = "253--263",
publisher = "{IEEE Computer Society}",
title = "{On the Expressive Power of Simply Typed and Let-Polymorphic λ Calculi}",
year = 1996,
}