Modelling Coeffects in the Relational Semantics of Linear Logic.

Flavien Breuvart, Michele Pagani

Browse the full CSL paper archive.