"Instant Polymorphic Type Systems for Mobile Process Calculi: Just Add ..."

Henning Makholm, J. B. Wells (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics