Typed nominal rewriting

DOI10.1145/3161558MaRDI QIDQ4608729zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

nominal syntaxnominal rewriting

Mathematics Subject Classification ID

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

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

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)