scientific article; zbMATH DE number 1392290

zbMATH Open0945.03556MaRDI QIDQ4936129FDOQ4936129

Authors: Ian Mackie 

Publication date: 24 January 2000

Title of this publication is not available (Why is that?)

Recommendations

• Interaction nets for linear logic
• Encoding linear logic with interaction combinators
• scientific article; zbMATH DE number 4055576
• Operational interpretations of linear logic
• Publication:4944872

Mathematics Subject Classification ID

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

Cited In (1)

• Jumping Boxes

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 Q4936129)