Combining algebra and higher-order types (1988)

by V Breazu-Tannen
Venue:In Third IEEE Symp. Logic in Computer Science