scientific article
From MaRDI portal
Publication:2968415
DOI10.4230/LIPIcs.TYPES.2013.150zbMath1359.03027arXiv1603.02641MaRDI QIDQ2968415
Kaustuv Chaudhuri, Joëlle Despeyroux
Publication date: 13 March 2017
Full work available at URL: https://arxiv.org/abs/1603.02641
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 (5)
On subexponentials, focusing and modalities in concurrent systems ⋮ Hybrid and subexponential linear logics ⋮ Verification of spatial and temporal modalities in biochemical systems ⋮ Hybrid linear logic, revisited ⋮ A focused linear logical framework and its application to metatheory of object logics
This page was built for publication:
