Typed nominal rewriting

DOI10.1145/3161558zbMATH Open1407.68240OpenAlexW2787938925MaRDI QIDQ4608729FDOQ4608729

Authors: Elliot Fairweather, Maribel Fernández 

Publication date: 22 March 2018

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://kclpure.kcl.ac.uk/portal/en/publications/typed-nominal-rewriting(c4d4d45d-9e11-4f94-8a0a-f70f746fb0bb).html

Recommendations

• Nominal rewriting
• Principal types for nominal theories
• Curry-Style Types for Nominal Terms
• Dependent types for nominal terms with atom substitutions
• Meta-variables as infinite lists in nominal terms unification and rewriting

zbMATH Keywords

nominal syntaxnominal rewriting

Mathematics Subject Classification ID

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

Cited In (8)

• Nominal system T
• Hierarchical nominal terms and their theory of rewriting
• Nominal essential intersection types
• de Bruijn Indices for Metaterms
• Principal types for nominal theories
• Dependent types for nominal terms with atom substitutions
• Nominal rewriting
• Curry-Style Types for Nominal Terms

This page was built for publication: Typed nominal rewriting

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