Abstract | ||
---|---|---|
We look for strongly normalizable (SN) solutions of fixed point equations of the λ-calculus. We propose a paradigmatic way ( the ant-lion paradigm ) to solve some meaningful sample problems: (a) the adequacy theorem for numeral systems of the λ- K -calculus is extended to the λ- I -calculus and to the λ-δ K - calculus (obtained by extending the λ- I -calculus by a restricted K as a δ-rule); (b) the fixed point equation X = FX is solved for F specialized into a deed ; (c) numeral systems are classified by examples with respect to the key notions of the paper. |
Year | DOI | Venue |
---|---|---|
1994 | 10.1006/inco.1994.1079 | Inf. Comput. |
Keywords | Field | DocType |
strong normalization,ant-lion paradigm | Discrete mathematics,Normalization (statistics),Deed,Fixed point equation,Numeral system,Mathematics | Journal |
Volume | Issue | ISSN |
114 | 1 | Information and Computation |
Citations | PageRank | References |
7 | 0.56 | 0 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Corrado Böhm | 1 | 487 | 413.44 |
Benedetto Intrigila | 2 | 291 | 33.46 |