A fresh calculus for name management (2004)

by D Ancona, E Moggi
Venue:In Proceedings of the International Conference on Generative Programming and Component Engineering