The ant-lion paradigm for strong normalization (Q1336047)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The ant-lion paradigm for strong normalization |
scientific article |
Statements
The ant-lion paradigm for strong normalization (English)
0 references
20 November 1994
0 references
This paper proposes -- via examples -- a paradigmatic way to find strongly normalizable solutions to fixed-point equations: 1) \(FX= X\), where \(F\) is normal and \(F= \lambda x.xM_ 1\dots M_ n\). 2) The extension of the adequacy theorem for numeral systems to the \(\lambda\)- \({\mathbf I}\) calculus.
0 references
strongly normalizable solution
0 references
fixed-point equations
0 references
adequacy theorem for numeral systems
0 references
