Type abstractions of name-passing processes (2007)

by Lucia Acciai, Michele Boreale
Venue:In FSEN’07