On the pigeonhole and related principles in deep inference and monotone systems.

Anupam Das

Browse the full CSL paper archive.