The following publications are possibly variants of this publication:
- Semantic subtyping for the pi-calculusGiuseppe Castagna, Rocco De Nicola, Daniele Varacca. TCS, 398(1-3):217-242, 2008. [doi]
- 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]
- A Calculus for Overloaded Functions with SubtypingGiuseppe Castagna, Giorgio Ghelli, Giuseppe Longo. iandc, 117(1):115-135, February 1995.
- A Calculus for Overloaded Functions with SubtypingGiuseppe Castagna, Giorgio Ghelli, Giuseppe Longo. lfp 1992: 182-192 [doi]