Exponential Elimination for Bicartesian Closed Categorical Combinators.

Nachiappan Valliappan, Alejandro Russo

Browse the full PPDP paper archive.