BibTex format
@inproceedings{van:2009:10.1007/978-3-642-04081-8_7,
author = {van, Bakel S and Vigliotti, MG},
doi = {10.1007/978-3-642-04081-8_7},
pages = {84--98},
publisher = {Springer Verlag},
title = {A logical interpretation of the lambda-calculus into the pi-calculus, preserving spine reduction and types},
url = {http://dx.doi.org/10.1007/978-3-642-04081-8_7},
year = {2009}
}