@inproceedings{tbhe-lopstr07,
author = {E.~Albert and J.~Gallagher and M.~G\'{o}mez-Zamalloa and G.~Puebla},
title = {{T}ype-based {H}omeomorphic {E}mbedding and its {A}pplications to {O}nline {P}artial {E}valuation},
booktitle = {17th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'07)},
publisher = {Springer-Verlag},
series = {LNCS},
number = {4915},
pages = {23--42},
npages = 20,
projects = {MERIT,PROMESAS},
butype = {inproceedings},
year = {2008}
}