A Pi-Calculus with Explicit Substitutions: the Late Semantics.

Gian-Luigi Ferrari, Ugo Montanari, Paola Quaglia

Browse the full MFCS paper archive.