Strategies for asymptotic normalization

DOI10.4230/LIPICS.FSCD.2022.17MaRDI QIDQ6544112zbMATH OpenFDO

Authors Claudia Faggian, Giulio Guerrieri

Publication date 27 May 2024

zbMATH Keywords

lambda-calculusnormalizationrewritingstrategiesprobabilistic rewriting

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Combinatory logic and lambda calculus (03B40)

Recommendations

• Probabilistic rewriting and asymptotic behaviour: on termination and unique normal forms
• Probabilistic rewriting: normalization, termination, and unique normal forms
• On randomised strategies in the \(\lambda \)-calculus
• Factorization and normalization, essentially
• An abstract Böhm-normalization

This page was built for publication: Strategies for asymptotic normalization

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6544112)