Full Reduction in the Face of Absurdity.

Gabriel Scherer, Didier Rmy

Browse the full ESOP paper archive.