scientific article; zbMATH DE number 2134916

zbMATH Open1069.03056MaRDI QIDQ4650583FDOQ4650583

Authors: Olivier Laurent, Lorenzo Tortora de Falco 

Publication date: 18 February 2005

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

Recommendations

• scientific article; zbMATH DE number 1342282
• Publication:4896506
• scientific article; zbMATH DE number 1948160
• Syntax vs. semantics: A polarized approach
• The additive multiboxes

zbMATH Keywords

injectivitypolarized fragment of linear logicsimply typed \(\lambda\)-calculus with pairingsliced proof-net

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Functional programming and lambda calculus (68N18)

Cited In (7)

• Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic
• Strong normalization property for second order linear logic
• Thick Subtrees, Games and Experiments
• Weak typed Böhm theorem on IMLL
• Exponentials as substitutions and the cost of cut elimination in linear logic
• A Characterization of Hypercoherent Semantic Correctness in Multiplicative Additive Linear Logic
• Syntax vs. semantics: A polarized approach

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