Proofs, denotational semantics and observational equivalences in Multiplicative Linear Logic

DOI10.1017/S0960129506005652zbMath1124.03035MaRDI QIDQ3444645

Michele Pagani

Publication date: 4 June 2007

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

zbMATH Keywords

observational equivalencemultiplicative linear logicproof structures

Mathematics Subject Classification ID

Logic in computer science (03B70) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items (3)

The relational model is injective for multiplicative exponential linear logic (without weakenings) ⋮ A semantic measure of the execution time in linear logic ⋮ Unnamed Item

This page was built for publication: Proofs, denotational semantics and observational equivalences in Multiplicative Linear Logic