The Structure of Interaction.

DOI10.4230/LIPICS.CSL.2013.316zbMath1356.68063OpenAlexW2252870350MaRDI QIDQ2958530

Stéphane Gimenez, Georg Moser

Publication date: 2 February 2017

Full work available at URL: https://doi.org/10.4230/LIPIcs.CSL.2013.316

zbMATH Keywords

reducibilitylinear logicCurry-Howard correspondencestrong normalisationdeep inferenceinteraction netscalculus of structures

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

This page was built for publication: The Structure of Interaction.