Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Strict Ideal Completions of the Lambda Calculus   The infinitary lambda calculi pioneered by Kennaway et al. extend the basic
lambda calculus by metric completion to infinite terms and reductions.
Depending on the chosen metric, the resulting infinitary calculi exhibit
different notions of strictness. To obtain infinitary normalisation and
infinitary confluence properties for these calculi, Kennaway et al. extend
$\beta$-reduction with infinitely many `$\bot$-rules', which contract
meaningless terms directly to $\bot$. Three of the resulting B\"ohm reduction
calculi have unique infinitary normal forms corresponding to B\"ohm-like trees.
  In this paper we develop a corresponding theory of infinitary lambda calculi
based on ideal completion instead of metric completion. We show that each of
our calculi conservatively extends the corresponding metric-based calculus.
Three of our calculi are infinitarily normalising and confluent; their unique
infinitary normal forms are exactly the B\"ohm-like trees of the corresponding
metric-based calculi. Our calculi dispense with the infinitely many
$\bot$-rules of the metric-based calculi. The fully non-strict calculus (called
$111$) consists of only $\beta$-reduction, while the other two calculi (called
$001$ and $101$) require two additional rules that precisely state their
strictness properties: $\lambda x.\bot \to \bot$ (for $001$) and $\bot\,M \to
\bot$ (for $001$ and $101$).

8
The categories of this paper are: hep-ex
27
The categories of this paper are: comp-gas
29
The categories of this paper are: funct-an
23
The categories of this paper are: solv-int
5
The categories of this paper are: gr-qc
13
The categories of this paper are: quant-ph
12
The categories of this paper are: nucl-th
7
The categories of this paper are: hep-th
3
The categories of this paper are: physics
20
The categories of this paper are: acc-phys
19
The categories of this paper are: eess
34
The categories of this paper are: chem-ph
25
The categories of this paper are: patt-sol
14
The categories of this paper are: math-ph
0
The categories of this paper are: hep-ph
15
The categories of this paper are: nucl-ex