Castagna, Giuseppe and De Nicola, Rocco and Varacca, Daniele
Semantic Subtyping for the p-Calculus.
In:
Logic in Computer Science, 2005. LICS 2005. Proceedings. 20th Annual IEEE Symposium on.
IEEE Computer Society, pp. 92-101.
ISBN 0-7695-2266-1
(2005)