archives

Point free pi calculus

Does anyone know if there is a point free translation of the pi calculus similar to using SK combinators to translate the Lambda calculus?

Specifically, I would like to express the Pi calculus in terms of combinators only (no mechanism for new variable names), and although I think I can do this with SK combinators plus a couple primitives, I am wondering if there is any existing work on this.