Randomising Realizability.

Merlin Carl, Lorenzo Galeotti, Robert Pamann

Browse the full CiE paper archive.