1987] "A categorical approach to realizability and polymorphic types" rd (0)

by A Carboni, P Freyd, A Scedrov
Venue:ACM Symp. on Math. Found of Lang. Seman., New Orleans, LNCS