Glynn Winskel, Francesco Zappa Nardelli. New-HOPLA: A Higher-order Process Language with Name Generation. In Jean-Jacques Lévy, Ernst W. Mayr, John C. Mitchell, editors, Exploring New Frontiers of Theoretical Informatics, IFIP 18th World Computer Congress, TC1 3rd International Conference on Theoretical Computer Science (TCS2004), 22-27 August 2004, Toulouse, France. pages 521-534, Kluwer, 2004.
Abstract is missing.