The following publications are possibly variants of this publication:
- Semantic SubtypingAlain Frisch, Giuseppe Castagna, Véronique Benzaken. lics 2002: 137-146 [doi]
- A Gentle Introduction to Semantic SubtypingGiuseppe Castagna, Alain Frisch. icalp 2005: 30-34 [doi]
- A gentle introduction to semantic subtypingGiuseppe Castagna, Alain Frisch. ppdp 2005: 198-199 [doi]
- Semantic Subtyping for the p-CalculusGiuseppe Castagna, Rocco De Nicola, Daniele Varacca. lics 2005: 92-101 [doi]
- Semantic subtyping for the pi-calculusGiuseppe Castagna, Rocco De Nicola, Daniele Varacca. TCS, 398(1-3):217-242, 2008. [doi]
- Semantic subtyping: Dealing set-theoretically with function, union, intersection, and negation typesAlain Frisch, Giuseppe Castagna, Véronique Benzaken. JACM, 55(4), 2008. [doi]