scientific article; zbMATH DE number 4023271

MaRDI QIDQ3765770zbMATH OpenFDO

Authors Jean-Yves Girard

Publication date 1987

zbMATH Keywords

linear logicparallel computationsparallelismproof theory

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Abstract data types; algebraic specification (68Q65)

Recommendations

• Linear logic
• The semantics and proof theory of linear logic
• scientific article; zbMATH DE number 4055576
• Applications of Linear Logic to Computation: An Overview
• Computational interpretations of linear logic

Cited in

(7)

• On the \(\pi\)-calculus and linear logic
• Process synchronisation as fusion
• An implementation model of the typed -calculus based on linear chemical abstract machine
• Applications of Linear Logic to Computation: An Overview
• scientific article; zbMATH DE number 7450001 (Why is no real title available?)
• Modal functional (``Dialectica) interpretation
• Linear logic

This page was built for publication:

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