Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
           Alle artikelen van de bijbehorende aflevering
                                       Details van artikel 1 van 1 gevonden artikelen
 
 
  Fixed Point Equations Inside the Algebra of Normal Forms
 
 
Titel: Fixed Point Equations Inside the Algebra of Normal Forms
Auteur: Böhm, Corrado
Verschenen in: Fundamenta informaticae
Paginering: Jaargang 37 (2011) nr. 4 pagina's 329-342
Jaar: 2011-02-08
Inhoud: 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.
Uitgever: IOS Press
Bronbestand: Elektronische Wetenschappelijke Tijdschriften
 
 

                             Details van artikel 1 van 1 gevonden artikelen
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland