Semantic Subtyping for the p-Calculus

20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05) ◽

10.1109/lics.2005.46 ◽

2006 ◽

Cited By ~ 4

Author(s):

G. Castagna ◽

R. De Nicola ◽

D. Varacca

Download Full-text