"Modelling Coeffects in the Relational Semantics of Linear Logic."

Flavien Breuvart, Michele Pagani (2015)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics