Full abstraction for polymorphic pi-calculus. Online edition with proofs (2005)

by Alan Jeffrey , Julian Rathke
Venue:Theoretical Computer Science
Citations:4 - 0 self