(Head-)normalization of typeable rewrite systems

DOI10.1007/3-540-59200-8_64zbMath1503.68163OpenAlexW1512701877MaRDI QIDQ5055837

Maribel Fernández, Steffen van Bakel

Publication date: 9 December 2022

Published in: Rewriting Techniques and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-59200-8_64

Mathematics Subject Classification ID

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

Related Items (1)

Approximation and normalization results for typeable term rewriting systems

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Combinatory logic. With two sections by William Craig.
• Complete restrictions of the intersection type discipline
• A filter lambda model and the completeness of type assignment
• Modularity of strong normalization in the algebraic-λ-cube
• Intensional interpretations of functionals of finite type I

This page was built for publication: (Head-)normalization of typeable rewrite systems