A generic type system for the picalculus. (2004)

by A Igarashi, N Kobayashi
Venue:Theor. Comput. Sci.,