Full abstraction for polymorphic pi-calculus. Online edition with proofs
Type: article
Authors: Alan Jeffrey, Alcatel Lucent, Julian Rathke, Alan Jeffrey, Julian Rathke
Language: English
Subfield: Software
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W7096719820