Introduction to Generalised Type Systems (1991)

by H P Barendregt
Venue:Journal of Functional Programming