On Classical PCF, Linear Logic and the MIX Rule.

Shahin Amini, Thomas Erhard

Browse the full CSL paper archive.