Fixed point equations inside the algebra of normal forms

• Autorzy: Böhm C.
• Języki publikacji: EN

Abstrakty

EN

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 alge-bras between them will be proved to be domains consisting only of fixed points of combinators.

Słowa kluczowe

EN

lambda calculus; abstract algebras; fixed point equations

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 1999
• Tom: Vol. 37, Nr 4
• Strony: 329--342
• Opis fizyczny: bibliogr. 9 poz.

Twórcy

autor

Böhm C.

• Dipartimento di Scienze dell'Informazione Universita di Roma "LaSapienza" Rome, Italy,