A logical interpretation of the lambda-calculus into the pi-calculus, preserving spine reduction and types - van,Bakel S; Vigliotti,MG (Springer Verlag, 2009)