Causality in linear logic. Full completeness and injectivity (unit-free multiplicative-additive fragment)

DOI10.1007/978-3-030-17127-8_9OpenAlexW2933189939MaRDI QIDQ2289069

Simon Castellan, Nobuko Yoshida

Publication date: 28 January 2020

Full work available at URL: https://doi.org/10.1007/978-3-030-17127-8_9

zbMATH Keywords

linear logicproof netsgame semanticsevent structures

Mathematics Subject Classification ID

Theory of computing (68Qxx) Theory of software (68Nxx)

Related Items (3)

Unnamed Item ⋮ A tale of additives and concurrency in game semantics ⋮ Global types and event structure semantics for asynchronous multiparty sessions

This page was built for publication: Causality in linear logic. Full completeness and injectivity (unit-free multiplicative-additive fragment)