The ant-lion paradigm for strong normalization (Q1336047): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1006/inco.1994.1079 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2020671663 / rank | |||
Normal rank |
Latest revision as of 19:20, 19 March 2024
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