Strategies for asymptotic normalization

DOI10.4230/LIPICS.FSCD.2022.17zbMATH Open1541.68173MaRDI QIDQ6544112FDOQ6544112

Authors: Claudia Faggian, Giulio Guerrieri 

Publication date: 27 May 2024

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

zbMATH Keywords

lambda-calculusnormalizationrewritingstrategiesprobabilistic rewriting

Mathematics Subject Classification ID

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

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)