Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Eager Functions as Processes   We study Milner's encoding of the call-by-value $\lambda$-calculus into the
$\pi$-calculus. We show that, by tuning the encoding to two subcalculi of the
$\pi$-calculus (Internal $\pi$ and Asynchronous Local $\pi$), the equivalence
on $\lambda$-terms induced by the encoding coincides with Lassen's eager
normal-form bisimilarity, extended to handle $\eta$-equality. As behavioural
equivalence in the $\pi$-calculus we consider contextual equivalence and barbed
congruence. We also extend the results to preorders. A crucial technical
ingredient in the proofs is the recently-introduced technique of unique
solutions of equations, further developed in this paper. In this respect, the
paper also intends to be an extended case study on the applicability and
expressiveness of the technique.

6
The categories of this paper are: astro-ph
22
The categories of this paper are: chao-dyn
0
The categories of this paper are: hep-ph
35
The categories of this paper are: mtrl-th
3
The categories of this paper are: physics
24
The categories of this paper are: dg-ga
2
The categories of this paper are: math
27
The categories of this paper are: comp-gas
26
The categories of this paper are: bayes-an
7
The categories of this paper are: hep-th
34
The categories of this paper are: chem-ph
30
The categories of this paper are: q-alg
19
The categories of this paper are: eess
15
The categories of this paper are: nucl-ex
33
The categories of this paper are: plasm-ph
28
The categories of this paper are: alg-geom