Publication:3819066
From MaRDI portal
zbMath0667.03046MaRDI QIDQ3819066
Publication date: 1987
Related Items
Linear logic, coherence and dinaturality, 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, On the \(\pi\)-calculus and linear logic