Termination is a central property in sequential programming models: a te...
This paper studies typed translations of λ-calculi into
π-calculi, both ...
Type-preserving translations are effective rigorous tools in the study o...
We study encodings of the lambda-calculus into the pi-calculus in the
un...