Instant Polymorphic Type Systems for Mobile Process Calculi: Just Add Reduction Rules and Close.

Henning Makholm, J. B. Wells

Browse the full ESOP paper archive.