A.: A categorical approach to realizability and polymorphic types (1987)

by A Carboni, P J Freyd, Scedrov
Venue:LNCS