scientific article
From MaRDI portal
Publication:3824307
zbMath0672.03039MaRDI QIDQ3824307
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (35)
Conditional rewriting logic: Deduction, models and concurrency ⋮ On the symmetry of sequentiality ⋮ On the \(\pi\)-calculus and linear logic ⋮ On proof normalization in linear logic ⋮ Petri nets, Horn programs, linear logic and vector games ⋮ Interaction graphs: graphings ⋮ Non-normal modalities in variants of linear logic ⋮ Interaction graphs: additives ⋮ Simple free star-autonomous categories and full coherence ⋮ Chu spaces as a semantic bridge between linear logic and mathematics. ⋮ A System of Interaction and Structure III: The Complexity of BV and Pomset Logic ⋮ A correspondence between maximal abelian sub-algebras and linear logic fragments ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Representation of partial traces ⋮ Variations on mobile processes ⋮ A type assignment system for game semantics ⋮ Conditional rewriting logic as a unified model of concurrency ⋮ A game semantics for linear logic ⋮ Decision problems for propositional linear logic ⋮ Bounded linear logic: A modular approach to polynomial-time computability ⋮ Computational interpretations of linear logic ⋮ Gödel's system \(\mathcal T\) revisited ⋮ Towards Hilbert's 24th Problem: Combinatorial Proof Invariants ⋮ Geometry of interaction. V: Logic in the hyperfinite factor ⋮ Musings around the geometry of interaction, and coherence ⋮ Linear realizability and full completeness for typed lambda-calculi ⋮ Lambek calculus is NP-complete ⋮ Unnamed Item ⋮ Traced Premonoidal Categories ⋮ Unnamed Item ⋮ A proof theory for model checking ⋮ Full abstraction for PCF ⋮ The Power of Closed Reduction Strategies ⋮ A categorical model for the geometry of interaction
This page was built for publication:
