A categorical approach to realizability and polymorphic types (1987)

by A Carboni, P J Freyd, A Scedrov
Venue:In Proceedings of the 3rd ACM Workshop on the Mathematical Foundations of Programming Language Semantics