The structure of interaction

DOI10.4230/LIPICS.CSL.2013.316MaRDI QIDQ2958530zbMATH OpenOpenAlexFDO

Authors 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

reducibilityCurry-Howard correspondencelinear logicstrong 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)

Recommendations

• Interaction nets for linear logic
• An explicit framework for interaction nets
• An Explicit Framework for Interaction Nets
• Differential interaction nets
• scientific article; zbMATH DE number 786495

Cited in

(9)

• Parallelism and synchronization in an infinitary context
• Differential interaction nets
• A system of interaction and structure
• scientific article; zbMATH DE number 4081344 (Why is no real title available?)
• Structural interaction analysis
• The complexity of interaction
• A hierarchy of expressiveness in concurrent interaction nets
• scientific article; zbMATH DE number 1755135 (Why is no real title available?)
• Interaction between civilizations

This page was built for publication: The structure of interaction

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2958530)