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}
}
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
5 Citations
16 References
Similar Papers

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…