scientific article; zbMATH DE number 512770

MaRDI QIDQ4281463zbMATH OpenFDO

Authors Steffen Van Bakel

Publication date 24 October 1994

zbMATH Keywords

intersection typepartial type assignmentterm rewriting systems

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 883895
• scientific article; zbMATH DE number 1696608
• COMBINING TERM REWRITING AND TYPE ASSIGNMENT SYSTEMS
• Approximation and normalization results for typeable term rewriting systems

Cited in

(14)

• Normalization results for typeable rewrite systems
• Principality and type inference for intersection types using expansion variables
• scientific article; zbMATH DE number 1696608 (Why is no real title available?)
• scientific article; zbMATH DE number 3905869 (Why is no real title available?)
• scientific article; zbMATH DE number 4087626 (Why is no real title available?)
• Type assignment and conservation properties
• Approximation and normalization results for typeable term rewriting systems
• scientific article; zbMATH DE number 883895 (Why is no real title available?)
• (Head-)normalization of typeable rewrite systems
• Strictness, totality, and non-standard-type inference
• Type inference for rank-2 intersection types using set unification
• Linearity and iterator types for Gödel's system \(\mathcal T\)
• Intersection type assignment systems with higher-order algebraic rewriting
• On strong normalization and type inference in the intersection type discipline

Describes a project that uses

Uses Software

• Miranda
• CLEAN

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 Q4281463)