A new proof of the weak pigeonhole principle (0)

by A Maciel, T Pitassi, A Woods
Venue:Journal of Computer and System Sciences archive