A categorical approach to realizability and polymorphic types. (English) Zbl 0651.18004
Mathematical foundations of programming language semantics, Proc. Workshop, New Orleans/La. 1987, Lect. Notes Comput. Sci. 298, 23-42 (1988).
Reviewer: M.Eytan