scientific article; zbMATH DE number 2134916

MaRDI QIDQ4650583zbMATHFDO

Authors Olivier Laurent, Lorenzo Tortora de Falco

Publication date 18 February 2005

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)

Recommendations

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

Cited in

(8)

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

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)