Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Models and theories of lambda calculus   In this paper we briefly summarize the contents of Manzonetto's PhD thesis
which concerns denotational semantics and equational/order theories of the pure
untyped lambda-calculus. The main research achievements include: (i) a general
construction of lambda-models from reflexive objects in (possibly
non-well-pointed) categories; (ii) a Stone-style representation theorem for
combinatory algebras; (iii) a proof that no effective lambda-model can have
lambda-beta or lambda-beta-eta as its equational theory (this can be seen as a
partial answer to an open problem introduced by Honsell-Ronchi Della Rocca in
1984).

18
The categories of this paper are: econ
16
The categories of this paper are: stat
30
The categories of this paper are: q-alg
26
The categories of this paper are: bayes-an
20
The categories of this paper are: acc-phys
9
The categories of this paper are: nlin
6
The categories of this paper are: astro-ph
17
The categories of this paper are: q-fin
13
The categories of this paper are: quant-ph
12
The categories of this paper are: nucl-th
8
The categories of this paper are: hep-ex
2
The categories of this paper are: math
19
The categories of this paper are: eess
34
The categories of this paper are: chem-ph
21
The categories of this paper are: adap-org
37
The categories of this paper are: supr-con