A Categorical Approach to Realizability and Polymorphic Types.

Aurelio Carboni, Peter J. Freyd, Andre Scedrov

Browse the full MFPS paper archive.