An Abstract Böhm-normalization

John R. W. Glauert, Zurab Khasidashvili

Research output: Contribution to journalArticle

4 Citations (Scopus)


We study normalization by neededness with respect to ‘infinite results’, such as Böhm-trees, in an abstract framework of Stable Deterministic Residual Structures. We formalize the concept of ‘infinite results’ for finite terms as suitable sets of infinite reductions, and prove an abstract infinitary normalization theorem with respect to such sets. We also give a sufficient and necessary condition for existence of minimal normalizing reductions.
Original languageEnglish
Pages (from-to)118-134
Number of pages17
JournalElectronic Notes in Theoretical Computer Science
Issue number6
Publication statusPublished - 2002

Cite this