Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Non-Deterministic Functions as Non-Deterministic Processes (Extended
  Version)   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, we
consider spi, a pi-calculus in which non-determinism and failure rest upon a
Curry-Howard correspondence between linear logic and session types. We present
a typed encoding of lambdafail into spi and establish its correctness. Our
encoding precisely explains the interplay of non-deterministic and fail-prone
evaluation in lambdafail via typed processes in spi. In particular, it shows
how failures in sequential evaluation (absence/excess of resources) can be
neatly codified as interaction protocols.

26
The categories of this paper are: bayes-an
25
The categories of this paper are: patt-sol
37
The categories of this paper are: supr-con
22
The categories of this paper are: chao-dyn
35
The categories of this paper are: mtrl-th
17
The categories of this paper are: q-fin
36
The categories of this paper are: cmp-lg
24
The categories of this paper are: dg-ga
0
The categories of this paper are: hep-ph
10
The categories of this paper are: q-bio
29
The categories of this paper are: funct-an
3
The categories of this paper are: physics
2
The categories of this paper are: math
4
The categories of this paper are: cond-mat
8
The categories of this paper are: hep-ex
18
The categories of this paper are: econ