A categorical approach to realizability and polymorphic types (1988)

by A Carboni, P J Freyd, A Ščedrov
Venue:Mathematical Foundations of Programming Language Semantics, Lecture in Computer Science, 298, Springer-Verlag