Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Session Type Isomorphisms   There has been a considerable amount of work on retrieving functions in
function libraries using their type as search key. The availability of rich
component specifications, in the form of behavioral types, enables similar
queries where one can search a component library using the behavioral type of a
component as the search key. Just like for function libraries, however,
component libraries will contain components whose type differs from the
searched one in the order of messages or in the position of the branching
points. Thus, it makes sense to also look for those components whose type is
different from, but isomorphic to, the searched one.
  In this article we give semantic and axiomatic characterizations of
isomorphic session types. The theory of session type isomorphisms turns out to
be subtle. In part this is due to the fact that it relies on a non-standard
notion of equivalence between processes. In addition, we do not know whether
the axiomatization is complete. It is known that the isomorphisms for arrow,
product and sum types are not finitely axiomatisable, but it is not clear yet
whether this negative results holds also for the family of types we consider in
this work.

15
The categories of this paper are: nucl-ex
6
The categories of this paper are: astro-ph
3
The categories of this paper are: physics
4
The categories of this paper are: cond-mat
19
The categories of this paper are: eess
24
The categories of this paper are: dg-ga
10
The categories of this paper are: q-bio
35
The categories of this paper are: mtrl-th
36
The categories of this paper are: cmp-lg
9
The categories of this paper are: nlin
12
The categories of this paper are: nucl-th
31
The categories of this paper are: ao-sci
13
The categories of this paper are: quant-ph
7
The categories of this paper are: hep-th
30
The categories of this paper are: q-alg
16
The categories of this paper are: stat