Principal Types for Nominal Theories.

Elliot Fairweather, Maribel Fernndez, Murdoch James Gabbay

Browse the full FCT paper archive.