### 4 papers:

- CSL-2015-BreuvartP #linear #logic #modelling #relational #semantics
- Modelling Coeffects in the Relational Semantics of Linear Logic (FB, MP), pp. 567–581.
- ESOP-2014-BrunelGMZ #calculus
- A Core Quantitative Coeffect Calculus (AB, MG, DM, SZ), pp. 351–370.
- ICFP-2014-PetricekOM #calculus #named
- Coeffects: a calculus of context-dependent computation (TP, DAO, AM), pp. 123–135.
- ICALP-v2-2013-PetricekOM #named #static analysis
- Coeffects: Unified Static Analysis of Context-Dependence (TP, DAO, AM), pp. 385–397.