Principal type schemes for the Strict Type Assignment System (1993)

by S VAN BAKEL
Venue:Journal of Logic and Computation