A guide to polymorphic types (1990)

by A Scedrov
Venue:Logic and Computer Science