scientific article; zbMATH DE number 1405619

zbMath0939.03068MaRDI QIDQ4938598

Roberto Di Cosmo, Stefano Guerrini

Publication date: 23 February 2000

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

zbMATH Keywords

linear logicrewriting\(\lambda\)-calculusproof netsstrong normalizationparallel syntax

Mathematics Subject Classification ID

Structure of proofs (03F07) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Combinatory logic and lambda calculus (03B40)

Related Items (5)

Resource operators for \(\lambda\)-calculus ⋮ The conservation theorem for differential nets ⋮ On intuitionistic proof nets with additional rewrite rules and their approximations ⋮ Intuitionistic differential nets and lambda-calculus ⋮ Confluence of Pure Differential Nets with Promotion

This page was built for publication: