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

Cached

Download Links

by Steffen van Bakel , Maria Grazia Vigliotti
Citations:7 - 6 self