Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Effectful Applicative Bisimilarity: Monads, Relators, and Howe's Method
  (Long Version)   We study Abramsky's applicative bisimilarity abstractly, in the context of
call-by-value $\lambda$-calculi with algebraic effects. We first of all endow a
computational $\lambda$-calculus with a monadic operational semantics. We then
show how the theory of relators provides precisely what is needed to generalise
applicative bisimilarity to such a calculus, and to single out those monads and
relators for which applicative bisimilarity is a congruence, thus a sound
methodology for program equivalence. This is done by studying Howe's method in
the abstract.

13
The categories of this paper are: quant-ph
37
The categories of this paper are: supr-con
33
The categories of this paper are: plasm-ph
30
The categories of this paper are: q-alg
6
The categories of this paper are: astro-ph
31
The categories of this paper are: ao-sci
11
The categories of this paper are: hep-lat
15
The categories of this paper are: nucl-ex
22
The categories of this paper are: chao-dyn
36
The categories of this paper are: cmp-lg
34
The categories of this paper are: chem-ph
21
The categories of this paper are: adap-org
7
The categories of this paper are: hep-th
10
The categories of this paper are: q-bio
12
The categories of this paper are: nucl-th
32
The categories of this paper are: atom-ph