scientific article; zbMATH DE number 883895

zbMATH Open0846.68052MaRDI QIDQ4880143FDOQ4880143

Authors: Steffen Van Bakel 

Publication date: 21 July 1996

Title of this publication is not available (Why is that?)

Recommendations

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

zbMATH Keywords

curryfied term rewriting systems

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

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 that?)
• Title not available (Why is that?)
• 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)