scientific article; zbMATH DE number 937330

zbMath0862.03030MaRDI QIDQ4896474

Lorenzo Tortora de Falco, Myriam Quatrini

Publication date: 20 October 1996

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

linear logicdecorationclassical sequent calculusstable fragment

Mathematics Subject Classification ID

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

Related Items (2)

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

This page was built for publication: