|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
Details for article 1 of 1 found articles
| Title: |
Fixed Point Equations Inside the Algebra of Normal Forms |
| Author: |
Böhm, Corrado |
| Appeared in: |
Fundamenta informaticae |
| Paging: | Volume 37 (2011) nr. 4 pages 329-342 |
| Year: |
2011-02-08 |
| Contents: |
Solutions of the equations X = ZX and X = XZ are found and discussed for Z, X normal terms of the lambda-calculus. Obviously fixed point combinators are of no help. Solutions will be independent from any kind of gödelization or coding of data structures, they will be provided by typeless self-application. Different approaches will be shown: algebraic properties, one side invertibility and idempotency. Certain subsets of proper combinators and Church algebras between them will be proved to be domains consisting only of fixed points of combinators. |
| Publisher: |
IOS Press |
| Source file: |
Elektronische Wetenschappelijke Tijdschriften |
Details for article 1 of 1 found articles