scientific article; zbMATH DE number 2134913
From MaRDI portal
Publication:4650579
zbMath1068.68062MaRDI QIDQ4650579
Publication date: 18 February 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Logic in computer science (03B70) Proof-theoretic aspects of linear logic and other substructural logics (03F52)
Related Items (8)
Unlabeled sample compression schemes and corner peelings for ample and maximum classes ⋮ An introduction to differential linear logic: proof-nets, models and antiderivatives ⋮ Event structure semantics for multiparty sessions ⋮ The Scott model of linear logic is the extensional collapse of its relational model ⋮ Typed event structures and the linear \(\pi \)-calculus ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item
This page was built for publication:
