Skip to content

The Relational Model Is Injective for Multiplicative Exponential Linear Logic.

Daniel de Carvalho

VenueBCSL
Year2016
ProceedingsCSL

Browse the full CSL paper archive.