Back to Results
First PageMeta Content
Deduction / Propositional calculus / Natural deduction / Cut-elimination theorem / Entailment / Sequent calculus / Linear logic / Curry–Howard correspondence / Logic / Mathematical logic / Proof theory


On Proof Nets for Multiplicative Linear Logic with Units Lutz Straßburger and Fran¸cois Lamarche INRIA-Lorraine, Projet Calligramme 615, rue du Jardin Botanique — 54602 Villers-l`es-Nancy — France Lutz.Strassburger
Add to Reading List

Document Date: 2004-11-15 14:07:24

Open Document

File Size: 231,86 KB

Share Result on Facebook

Country

France / /

/

IndustryTerm

logical systems / /

Position

representative / /

SocialTag