(Head-)normalization of typeable rewrite systems

DOI10.1007/3-540-59200-8_64zbMATH Open1503.68163OpenAlexW1512701877MaRDI QIDQ5055837FDOQ5055837

Authors: Steffen Van Bakel, Maribel Fernández 

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

Recommendations

• Normalization results for typeable rewrite systems
• scientific article; zbMATH DE number 1942460
• Approximation and normalization results for typeable term rewriting systems
• scientific article; zbMATH DE number 23844
• Typed Applicative Structures and Normalization by Evaluation for System F ω
• Strong normalization in type systems: A model theoretical approach
• scientific article; zbMATH DE number 1301737
• scientific article; zbMATH DE number 4126684
• scientific article; zbMATH DE number 827981
• Normalization by evaluation for modal dependent type theory

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Combinatory logic. With two sections by William Craig.
• A filter lambda model and the completeness of type assignment
• Title not available (Why is that?)
• Complete restrictions of the intersection type discipline
• Intensional interpretations of functionals of finite type I
• Title not available (Why is that?)
• Modularity of strong normalization in the algebraic-λ-cube
• Title not available (Why is that?)

Cited In (4)

• Types for Hereditary Head Normalizing Terms
• Normalization, approximation, and semantics for combinator systems
• Approximation and normalization results for typeable term rewriting systems
• Normalization results for typeable rewrite systems

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

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