Publication:4650579
From MaRDI portal
zbMath1068.68062MaRDI QIDQ4650579
Publication date: 18 February 2005
68Q10: Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)
03B70: Logic in computer science
03F52: Proof-theoretic aspects of linear logic and other substructural logics
Related Items
An introduction to differential linear logic: proof-nets, models and antiderivatives, Unnamed Item, The Scott model of linear logic is the extensional collapse of its relational model, Typed event structures and the linear \(\pi \)-calculus