A mixed -calculus

DOI10.1007/S11225-007-9089-YMaRDI QIDQ2467219zbMATH OpenOpenAlexFDO

Authors Marie-Renée Fleury, Myriam Quatrini

Publication date 21 January 2008

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11225-007-9089-y

zbMATH Keywords

normalizationtyped \(\lambda\)-calculusseries-parallel ordersorder varietiesnon-commutative linear logic

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Cut-elimination and normal-form theorems (03F05) Combinatory logic and lambda calculus (03B40) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Recommendations

• A typed calculus based on a fragment of linear logic
• scientific article; zbMATH DE number 2079022
• A classical linear \(\lambda\)-calculus
• scientific article; zbMATH DE number 1086680
• A Terminating and Confluent Linear Lambda Calculus

Cites work

• scientific article; zbMATH DE number 1841814 (Why is no real title available?)
• A complete axiomatisation for the inclusion of series-parallel partial orders
• Non-commutative logic II: sequent calculus and phase semantics
• Non-commutative logic. I: The multiplicative fragment
• The Mathematics of Sentence Structure
• The logic of information structures

Cited in

(9)

• A typed calculus based on a fragment of linear logic
• scientific article; zbMATH DE number 627411 (Why is no real title available?)
• scientific article; zbMATH DE number 1443050 (Why is no real title available?)
• An interpretation of \(\lambda \mu\)-calculus in \(\lambda\)-calculus.
• Jumbo λ-Calculus
• scientific article; zbMATH DE number 1223626 (Why is no real title available?)
• Non-linearity as the metric completion of linearity
• The polarized \(\lambda\)-calculus
• On classical PCF, linear logic and the MIX rule

This page was built for publication: A mixed \(\lambda\)-calculus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2467219)