scientific article
From MaRDI portal
Publication:2852348
zbMath1273.03096MaRDI QIDQ2852348
Publication date: 8 October 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066106001927
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Proof-theoretic aspects of linear logic and other substructural logics (03F52)
Related Items (4)
Linear $$ \lambda \mu $$ is $$ \textsc {CP} $$ (more or less) ⋮ Unnamed Item ⋮ An exact correspondence between a typed pi-calculus and polarised proof-nets ⋮ An interpretation of CCS into ludics
This page was built for publication:
