Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Environmental Bisimulations for Delimited-Control Operators with Dynamic
  Prompt Generation   We present sound and complete environmental bisimilarities for a variant of
Dybvig et al.'s calculus of multi-prompted delimited-control operators with
dynamic prompt generation. The reasoning principles that we obtain generalize
and advance the existing techniques for establishing program equivalence in
calculi with single-prompted delimited control. The basic theory that we
develop is presented using Madiot et al.'s framework that allows for smooth
integration and composition of up-to techniques facilitating bisimulation
proofs. We also generalize the framework in order to express environmental
bisimulations that support equivalence proofs of evaluation contexts
representing continuations. This change leads to a novel and powerful up-to
technique enhancing bisimulation proofs in the presence of control operators.

19
The categories of this paper are: eess
29
The categories of this paper are: funct-an
24
The categories of this paper are: dg-ga
7
The categories of this paper are: hep-th
20
The categories of this paper are: acc-phys
9
The categories of this paper are: nlin
25
The categories of this paper are: patt-sol
0
The categories of this paper are: hep-ph
3
The categories of this paper are: physics
10
The categories of this paper are: q-bio
5
The categories of this paper are: gr-qc
11
The categories of this paper are: hep-lat
18
The categories of this paper are: econ
22
The categories of this paper are: chao-dyn
33
The categories of this paper are: plasm-ph
21
The categories of this paper are: adap-org