Full abstraction for polymorphic pi-calculus (2008)

by A Jeffrey, J Rathke
Venue:Theor. Comput. Sci