A Multiplicative-Exponential Linear Logic (MELL) proof-structure can be
...
A Multiplicative-Exponential Linear Logic (MELL) proof-structure can be
...
This volume contains a selection of papers presented at Linearity/TLLA 2...
Many applications of denotational semantics, such as higher-order model
...