Dion Coumans: Relational Semantics for Linear Logic

PDF • Homepage