scientific article; zbMATH DE number 883895

zbMATH Open0846.68052MaRDI QIDQ4880143FDOQ4880143

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 (10)

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

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)