Login / Signup

Modelling Coeffects in the Relational Semantics of Linear Logic.

Flavien BreuvartMichele Pagani
Published in: CSL (2015)
Keyphrases