scientific article; zbMATH DE number 5228272

MaRDI QIDQ5437244zbMATH OpenFDO

Authors Lorenzo Tortora de Falco

Publication date 18 January 2008

zbMATH Keywords

calculuscomputational complexityCurry-Howard correspondencelinear logicprogramsproof netsproofs

Mathematics Subject Classification ID

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

Cited in

(4)

• On the shape of mathematical arguments
• Logic of differential calculus and the Zoo of geometric structures
• scientific article; zbMATH DE number 67028 (Why is no real title available?)
• scientific article; zbMATH DE number 77950 (Why is no real title available?)

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)