scientific article; zbMATH DE number 517072
From MaRDI portal
Publication:4282602
zbMath0793.03061MaRDI QIDQ4282602
Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx
Publication date: 17 March 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (27)
On concurrent behaviors and focusing in linear logic ⋮ Dynamic spaces in concurrent constraint programming ⋮ A linear logic framework for multimodal logics ⋮ A proof theoretic view of spatial and temporal dependencies in biochemical systems ⋮ On the linear decoration of intuitionistic derivations ⋮ On subexponentials, focusing and modalities in concurrent systems ⋮ Foundations for Reliable and Flexible Interactive Multimedia Scores ⋮ A Survey of the Proof-Theoretic Foundations of Logic Programming ⋮ Phase semantics for light linear logic ⋮ Subexponential concurrent constraint programming ⋮ Explorations in Subexponential Non-associative Non-commutative Linear Logic ⋮ A framework for linear authorization logics ⋮ A fresh view of linear logic as a logical framework ⋮ Hybrid and subexponential linear logics ⋮ Strong normalization for all-style LKtq ⋮ Proving concurrent constraint programming correct, revisited ⋮ Specifying Proof Systems in Linear Logic with Subexponentials ⋮ Polarized and focalized linear and classical proofs ⋮ Least and Greatest Fixed Points in Linear Logic ⋮ Unnamed Item ⋮ Verification of spatial and temporal modalities in biochemical systems ⋮ A Linear-Logical Reconstruction of Intuitionistic Modal Logic S4 ⋮ Hybrid linear logic, revisited ⋮ Subexponentials in non-commutative linear logic ⋮ A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems ⋮ Non-associative, non-commutative multi-modal linear logic ⋮ Connecting Sequent Calculi with Lorenzen-Style Dialogue Games
This page was built for publication:
