scientific article
From MaRDI portal
Publication:3819066
zbMath0667.03046MaRDI QIDQ3819066
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (10)
On the \(\pi\)-calculus and linear logic ⋮ Interaction graphs: graphings ⋮ A correspondence between maximal abelian sub-algebras and linear logic fragments ⋮ A typed calculus based on a fragment of linear logic ⋮ A decision procedure revisited: Notes on direct logic, linear logic and its implementation ⋮ Decision problems for propositional linear logic ⋮ Bounded linear logic: A modular approach to polynomial-time computability ⋮ Linear logic, coherence and dinaturality ⋮ Rule-Following and the Limits of Formalization: Wittgenstein’s Considerations Through the Lens of Logic ⋮ Non decomposable connectives of linear logic
This page was built for publication:
