Principal types for nominal theories. (2011)

by Elliot Fairweather, Maribel Fernández, Murdoch J Gabbay
Venue:In Proceedings of the 18th International Symposium on Fundamentals of Computation Theory (FCT