Full Abstraction for Polymorphic Pi-Calculus.

Alan Jeffrey, Julian Rathke

Browse the full FOSSACS paper archive.