Infinitary combinatory reduction systems: normalising reduction strategies

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

Dokumenter

We study normalising reduction strategies for infinitary Combinatory Reduc-
tion Systems (iCRSs). We prove that all fair, outermost-fair, and needed-fair strategies are normalising for orthogonal, fully-extended iCRSs. These facts properly generalise a number of results on normalising strategies in first-order infinitary rewriting and provide the first examples of normalising strategies for infinitary -calculus.
OriginalsprogEngelsk
Artikelnummer7
TidsskriftLogical Methods in Computer Science
Vol/bind6
Udgave nummer1
Antal sider35
ISSN1860-5974
DOI
StatusUdgivet - 2010

Antal downloads er baseret på statistik fra Google Scholar og www.ku.dk


Ingen data tilgængelig

ID: 32193273