Publication:3824307
From MaRDI portal
zbMath0672.03039MaRDI QIDQ3824307
Publication date: 1989
Related Items
Traced Premonoidal Categories, Linear realizability and full completeness for typed lambda-calculi, Computational interpretations of linear logic, A categorical model for the geometry of interaction, 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, On the \(\pi\)-calculus and linear logic, On proof normalization in linear logic, Chu spaces as a semantic bridge between linear logic and mathematics., Full abstraction for PCF, Petri nets, Horn programs, linear logic and vector games, Variations on mobile processes, Lambek calculus is NP-complete, Unnamed Item