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. a new non-deterministic calculus in which intersection types control resources (terms); on the concurrent side. https://mabelandfoxs.shop/product-category/gift-card/