The ant-lion paradigm for strong normalization (Q1336047)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: The ant-lion paradigm for strong normalization |
scientific article; zbMATH DE number 653287
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | The ant-lion paradigm for strong normalization |
scientific article; zbMATH DE number 653287 |
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
0.7404544353485107
0 references
0.7325571775436401
0 references
0.7296462655067444
0 references
