We gratefully acknowledge support from
the Simons Foundation and member institutions.

No authors of 1107.5722 can endorse.

Termination in a Pi-calculus with Subtyping

Ioana Cristescu and Daniel Hirschkoff are not registered as owners of this paper. (why?)