Maribel Fernández, Murdoch Gabbay, Ian Mackie. Nominal rewriting systems. In Eugenio Moggi, David Scott Warren, editors, Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 24-26 August 2004, Verona, Italy. pages 108-119, ACM, 2004. [doi]
No references recorded for this publication.
No citations of this publication recorded.