@InProceedings{Tronci1991,
author="Tronci, Enrico",
title="Equational Programming in lambda-calculus",
booktitle="Sixth Annual IEEE Symposium on Logic in Computer Science (LICS)",
year="1991",
publisher="IEEE Computer Society",
address="Amsterdam, The Netherlands",
pages="191--202",
optnote="exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=58), last updated on Thu, 22 Nov 2012 14:59:18 +0100",
doi="10.1109/LICS.1991.151644",
opturl="https://doi.org/10.1109/LICS.1991.151644",
file=":http://mclab.di.uniroma1.it/publications/papers/papers/Tronci1991.pdf:PDF"
}