Semantic Subtyping for the p-Calculus.

Giuseppe Castagna, Rocco De Nicola, Daniele Varacca

Browse the full LICS paper archive.