Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Joseph W. N. Paulus"'
Publikováno v:
Logical Methods in Computer Science, Vol Volume 19, Issue 4 (2023)
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 r
Externí odkaz:
https://doaj.org/article/0117e6998a2f401aa9443b06066087df