Linear Logic and Strong Normalization

DOI10.4230/LIPICS.RTA.2013.39zbMath1356.03102OpenAlexW2293542736MaRDI QIDQ2958373

Beniamino Accattoli

Publication date: 1 February 2017

Full work available at URL: http://dx.doi.org/10.4230/LIPIcs.RTA.2013.39

zbMATH Keywords

linear logicproof netsstrong normalizationexplicit substitutions

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Grammars and rewriting systems (68Q42) Structure of proofs (03F07) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items (5)

A semantic account of strong normalization in linear logic ⋮ Proof nets and the call-by-value \(\lambda\)-calculus ⋮ Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic ⋮ Unnamed Item ⋮ Observed Communication Semantics for Classical Processes

This page was built for publication: Linear Logic and Strong Normalization