Nominal Rewriting Systems (2004)

by Maribel Fernández, Murdoch J Gabbay, Ian Mackie
Venue:In Proc. 6th Int. ACM SIGPLAN Conf. on Principles and Practice of Declarative Programming (PPDP’2004