Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Selinger, Peter
2001.
Typed Lambda Calculi and Applications.
Vol. 2044,
Issue. ,
p.
6.
Pagani, Michele
2006.
Computer Science Logic.
Vol. 4207,
Issue. ,
p.
531.
PAGANI, MICHELE
2007.
Proofs, denotational semantics and observational equivalences in Multiplicative Linear Logic.
Mathematical Structures in Computer Science,
Vol. 17,
Issue. 2,
p.
341.
Tranquilli, Paolo
2008.
Computer Science Logic.
Vol. 5213,
Issue. ,
p.
246.
de Carvalho, Daniel
and
Tortora de Falco, Lorenzo
2012.
The relational model is injective for multiplicative exponential linear logic (without weakenings).
Annals of Pure and Applied Logic,
Vol. 163,
Issue. 9,
p.
1210.
Moot, Richard
and
Retoré, Christian
2012.
The Logic of Categorial Grammars.
Vol. 6850,
Issue. ,
p.
193.
Pagani, Michele
2012.
Visible acyclic differential nets, Part I: Semantics.
Annals of Pure and Applied Logic,
Vol. 163,
Issue. 3,
p.
238.
Ehrhard, Thomas
2014.
A new correctness criterion for MLL proof nets.
p.
1.
Abrusci, Vito Michele
and
Maieli, Roberto
2015.
Logic, Language, Information, and Computation.
Vol. 9160,
Issue. ,
p.
53.
Maieli, Roberto
2019.
Non decomposable connectives of linear logic.
Annals of Pure and Applied Logic,
Vol. 170,
Issue. 11,
p.
102709.
Retoré , Christian
2021.
Flag: a Self-Dual Modality for Non-Commutative Contraction and Duplication in the Category of Coherence Spaces.
Electronic Proceedings in Theoretical Computer Science,
Vol. 353,
Issue. ,
p.
157.