Typed Nominal Rewriting

DOI10.1145/3161558zbMath1407.68240OpenAlexW2787938925MaRDI QIDQ4608729

Maribel Fernández, Elliot Fairweather

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)

Related Items (1)

Nominal essential intersection types

This page was built for publication: Typed Nominal Rewriting