Obsessional experiments for linear logic proof-nets
From MaRDI portal
Publication:4811556
DOI10.1017/S0960129503003967zbMath1049.03043MaRDI QIDQ4811556
Publication date: 6 September 2004
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Related Items (8)
Weak typed Böhm theorem on IMLL ⋮ Unnamed Item ⋮ Visible acyclic differential nets. I: Semantics ⋮ The relational model is injective for multiplicative exponential linear logic (without weakenings) ⋮ A semantic measure of the execution time in linear logic ⋮ Unnamed Item ⋮ Syntax vs. semantics: A polarized approach ⋮ An abstract approach to stratification in linear logic
This page was built for publication: Obsessional experiments for linear logic proof-nets
