The following publications are possibly variants of this publication:
- A Calculus for Overloaded Functions with SubtypingGiuseppe Castagna, Giorgio Ghelli, Giuseppe Longo. iandc, 117(1):115-135, February 1995.
- 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]
- Dependent Types with Subtyping and Late-Bound OverloadingGiuseppe Castagna, Gang Chen. iandc, 168(1):1-67, 2001.