scientific article; zbMATH DE number 883895

MaRDI QIDQ4880143zbMATH OpenFDO

Authors Steffen Van Bakel

Publication date 21 July 1996

zbMATH Keywords

curryfied term rewriting systems

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• scientific article; zbMATH DE number 512770
• scientific article; zbMATH DE number 1696608
• COMBINING TERM REWRITING AND TYPE ASSIGNMENT SYSTEMS
• scientific article; zbMATH DE number 512772

Cited in

(11)

• Intersection type assignment systems
• Normalization results for typeable rewrite systems
• Intersection of the reflexive transitive closures of two rewrite relations induced by term rewriting systems
• Pre-grammars and inhabitation for a subset of rank 2 intersection types
• scientific article; zbMATH DE number 1696608 (Why is no real title available?)
• Rank 2 intersection for recursive definitions
• scientific article; zbMATH DE number 512770 (Why is no real title available?)
• scientific article; zbMATH DE number 1512611 (Why is no real title available?)
• Approximation and normalization results for typeable term rewriting systems
• Type Inference for Rank 2 Gradual Intersection Types
• Intersection type assignment systems with higher-order algebraic rewriting

Describes a project that uses

Uses Software

• CLEAN
• Miranda

This page was built for publication:

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