A Fresh Calculus for Name Management (0)

by D. Ancona, E. Moggi, D. Ancona E. Moggi
Venue:In Karsai and Visser [KV04