Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Relational Graph Models at Work   We study the relational graph models that constitute a natural subclass of
relational models of lambda-calculus. We prove that among the lambda-theories
induced by such models there exists a minimal one, and that the corresponding
relational graph model is very natural and easy to construct. We then study
relational graph models that are fully abstract, in the sense that they capture
some observational equivalence between lambda-terms. We focus on the two main
observational equivalences in the lambda-calculus, the theory H+ generated by
taking as observables the beta-normal forms, and H* generated by considering as
observables the head normal forms. On the one hand we introduce a notion of
lambda-K\"onig model and prove that a relational graph model is fully abstract
for H+ if and only if it is extensional and lambda-K\"onig. On the other hand
we show that the dual notion of hyperimmune model, together with
extensionality, captures the full abstraction for H*.

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
2
The categories of this paper are: math
16
The categories of this paper are: stat
0
The categories of this paper are: hep-ph
35
The categories of this paper are: mtrl-th
19
The categories of this paper are: eess
30
The categories of this paper are: q-alg
32
The categories of this paper are: atom-ph
26
The categories of this paper are: bayes-an
17
The categories of this paper are: q-fin
24
The categories of this paper are: dg-ga
9
The categories of this paper are: nlin
6
The categories of this paper are: astro-ph
18
The categories of this paper are: econ