Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Formalizing $\varphi$-calculus: a purely object-oriented calculus of
  decorated objects   Many calculi exist for modelling various features of object-oriented
languages. Many of them are based on $\lambda$-calculus and focus either on
statically typed class-based languages or dynamic prototype-based languages. We
formalize untyped calculus of decorated objects, informally presented by
Bugayenko, which is defined in terms of objects and relies on decoration as a
primary mechanism of object extension. It is not based on $\lambda$-calculus,
yet with only four basic syntactic constructions is just as complete. We prove
the calculus is confluent (i.e. possesses Church-Rosser property), and
introduce an abstract machine for call-by-name evaluation. Finally, we provide
a sound translation to $\lambda$-calculus with records.

25
The categories of this paper are: patt-sol
3
The categories of this paper are: physics
9
The categories of this paper are: nlin
23
The categories of this paper are: solv-int
0
The categories of this paper are: hep-ph
10
The categories of this paper are: q-bio
13
The categories of this paper are: quant-ph
6
The categories of this paper are: astro-ph
12
The categories of this paper are: nucl-th
15
The categories of this paper are: nucl-ex
37
The categories of this paper are: supr-con
24
The categories of this paper are: dg-ga
27
The categories of this paper are: comp-gas
36
The categories of this paper are: cmp-lg
5
The categories of this paper are: gr-qc
4
The categories of this paper are: cond-mat