Principal Types for Nominal Theories

Fundamentals of Computation Theory - Lecture Notes in Computer Science ◽

10.1007/978-3-642-22953-4_14 ◽

2011 ◽

pp. 160-172 ◽

Author(s):

Elliot Fairweather ◽

Maribel Fernández ◽

Murdoch J. Gabbay

Download Full-text