Nominal rewriting with name generation

Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '05 ◽

10.1145/1069774.1069779 ◽

2005 ◽

Cited By ~ 9

Author(s):

Maribel Fernández ◽

Murdoch J. Gabbay

Download Full-text