scientific article; zbMATH DE number 5228272

zbMATH Open1143.03350MaRDI QIDQ5437244FDOQ5437244

Authors: Lorenzo Tortora de Falco 

Publication date: 18 January 2008

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

zbMATH Keywords

computational complexityCurry-Howard correspondencelinear logicproof netsproofscalculusprograms

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03) Cut-elimination and normal-form theorems (03F05) Logic in computer science (03B70) Structure of proofs (03F07) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Cited In (4)

• Title not available (Why is that?)
• On the shape of mathematical arguments
• Title not available (Why is that?)
• Logic of differential calculus and the Zoo of geometric structures

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