Highly Influenced

# On Classical PCF, Linear Logic and the MIX Rule

@inproceedings{Amini2015OnCP, title={On Classical PCF, Linear Logic and the MIX Rule}, author={Shahin Amini and Thomas Erhard}, booktitle={CSL}, year={2015} }

- Published 2015 in CSL
DOI:10.4230/LIPIcs.CSL.2015.582

We study a classical version of PCF from a semantic point of view. We define a general notion of model based on categorical models of Linear Logic, in the spirit of earlier work by Girard, Regnier and Laurent. We give a concrete example based on the relational model of Linear Logic, that we present as a non-idempotent intersection type system, and we prove an Adequacy Theorem using ideas introduced by Krivine. Following Danos and Krivine, we also consider an extension of this language with a… CONTINUE READING