scientific article; zbMATH DE number 937330

zbMATH Open0862.03030MaRDI QIDQ4896474FDOQ4896474

Authors: Myriam Quatrini, Lorenzo Tortora de Falco 

Publication date: 20 October 1996

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

Recommendations

• Polarized and focalized linear and classical proofs
• scientific article; zbMATH DE number 1088207
• scientific article; zbMATH DE number 1342282
• Polarized proof-nets and \(\lambda \mu\)-calculus
• Polarizing double-negation translations

zbMATH Keywords

linear logicdecorationclassical sequent calculusstable fragment

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Theory of computing (68Q99)

Cited In (2)

• Polarized and focalized linear and classical proofs
• Polarized proof-nets and \(\lambda \mu\)-calculus

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