31 citations · 109 across the 18 of their papers we have counts for
1 paper · 1 filter
Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Pérez
We study encodings of the lambda-calculus into the pi-calculus in the unexplored case of calculi with non-determinism and failures. On the sequential side, we consider lambdafail,…