A logical interpretation of the λ-calculus into the π-calculus, preserving spine reduction and types (2009)

by S van Bakel, M G Vigliotti
Venue:CONCUR’09, LNCS 5710, pp 84 – 98