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

by P J Freyd A Carboni
Venue:Proc. of the Third Symposium on Mathematical Foundations of Programming Language Semantics