scientific article; zbMATH DE number 6109836
From MaRDI portal
Publication:4649549
DOI10.4230/LIPIcs.CSL.2012.228zbMath1252.03141MaRDI QIDQ4649549
Luís Caires, Bernardo Toninho, Henry DeYoung, Frank Pfenning
Publication date: 22 November 2012
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
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
Substructural Proofs as Automata ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A message-passing interpretation of adjoint logic ⋮ Mechanizing focused linear logic in Coq ⋮ Session typing and asynchronous subtyping for the higher-order \(\pi\)-calculus