scientific article; zbMATH DE number 827981

zbMATH Open0838.68064MaRDI QIDQ4858947

David Basin

Publication date: 27 May 1996

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

zbMATH Keywords

term rewriting systemsNuprl system

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (11)

Algebraic semantics of rewriting terms and types ⋮ Generalizing Def and Pos to Type Analysis ⋮ (Head-)normalization of typeable rewrite systems ⋮ Title not available (Why is that?) ⋮ Title not available (Why is that?) ⋮ A rewrite-based type discipline for a subset of computer algebra ⋮ Term Rewriting and Applications ⋮ Type Theory Unchained : Extending Agda with User-Defined Rewrite Rules ⋮ Introduction to generalized type systems ⋮ Type introduction for equational rewriting ⋮ Rewrite systems on a lattice of types

Uses Software

• Nuprl

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Generalization from partial parametrization in higher-order type theory 👍 👎
• A Rewriting Logic Approach to Type Inference 👍 👎
• Modelling general recursion in type theory 👍 👎
• A Rewriting Semantics for Type Inference 👍 👎
• Type Reconstruction for General Refinement Types 👍 👎
• Algebraic semantics of rewriting terms and types 👍 👎

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