scientific article; zbMATH DE number 7104933

MaRDI QIDQ5232907

Thomas Seiller

Publication date: 13 September 2019

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

linear logicgame semanticsimplicit computational complexitymeasurable dynamicsgeometry of interactioninteraction graphsrealisabilitygraphings

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Cites Work

• Unnamed Item

This page was built for publication: