An Abstract Look at Realizability.

Edmund Robinson, Giuseppe Rosolini

Browse the full CSL paper archive.