On context semantics and interaction nets

DOI10.1145/2603088.2603155zbMath1401.68176OpenAlexW2015488964WikidataQ130981276 ScholiaQ130981276MaRDI QIDQ4635658

Matthieu Perrinel

Publication date: 23 April 2018

Published in: Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2603088.2603155

zbMATH Keywords

denotational semanticsgeometry of interactioninteraction netscontext semantics

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Grammars and rewriting systems (68Q42) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items (2)

Paths-based criteria and application to linear logic subsystems characterizing polynomial time ⋮ Geometry of resource interaction and Taylor–Ehrhard–Regnier expansion: a minimalist approach

This page was built for publication: On context semantics and interaction nets