The essence of principal typings (2002)

by J B Wells
Venue:In ICALP ’02