scientific article; zbMATH DE number 2134916

MaRDI QIDQ4650583zbMATH OpenFDO

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
• scientific article; zbMATH DE number 937366
• scientific article; zbMATH DE number 1948160
• Syntax vs. semantics: A polarized approach
• The additive multiboxes

Cited in

(8)

• 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
• Compressing polarized boxes
• 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)