Interaction Graphs

From MaRDI portal

Revision as of 15:19, 7 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:4635900

Jump to:navigation, search

DOI10.1145/2933575.2934568zbMath1394.03075arXiv1504.04152OpenAlexW2964061972MaRDI QIDQ4635900

Thomas Seiller

Publication date: 23 April 2018

Published in: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1504.04152

zbMATH Keywords

linear logic measurable dynamics geometry of interaction interaction graphs quantitative semantics

Mathematics Subject Classification ID

Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items (2)

Distributing and parallelizing non-canonical loops ⋮ Unnamed Item

This page was built for publication: Interaction Graphs

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4635900&oldid=18812681"