Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Normal Form Bisimulations for Delimited-Control Operators   We define a notion of normal form bisimilarity for the untyped call-by-value
lambda calculus extended with the delimited-control operators shift and reset.
Normal form bisimilarities are simple, easy-to-use behavioral equivalences
which relate terms without having to test them within all contexts (like
contextual equivalence), or by applying them to function arguments (like
applicative bisimilarity). We prove that the normal form bisimilarity for shift
and reset is sound but not complete w.r.t. contextual equivalence and we define
up-to techniques that aim at simplifying bisimulation proofs. Finally, we
illustrate the simplicity of the techniques we develop by proving several
equivalences on terms.

24
The categories of this paper are: dg-ga
28
The categories of this paper are: alg-geom
13
The categories of this paper are: quant-ph
12
The categories of this paper are: nucl-th
27
The categories of this paper are: comp-gas
5
The categories of this paper are: gr-qc
34
The categories of this paper are: chem-ph
18
The categories of this paper are: econ
36
The categories of this paper are: cmp-lg
4
The categories of this paper are: cond-mat
23
The categories of this paper are: solv-int
17
The categories of this paper are: q-fin
32
The categories of this paper are: atom-ph
2
The categories of this paper are: math
33
The categories of this paper are: plasm-ph
6
The categories of this paper are: astro-ph