A mixed -calculus

DOI10.1007/S11225-007-9089-YzbMATH Open1138.03013OpenAlexW2061801837MaRDI QIDQ2467219FDOQ2467219

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

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

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)

Cites Work

• The logic of information structures
• A complete axiomatisation for the inclusion of series-parallel partial orders
• The Mathematics of Sentence Structure
• Non-commutative logic. I: The multiplicative fragment
• Title not available (Why is that?)
• Non-commutative logic II: sequent calculus and phase semantics

Cited In (9)

• Title not available (Why is that?)
• An interpretation of \(\lambda \mu\)-calculus in \(\lambda\)-calculus.
• A typed calculus based on a fragment of linear logic
• Title not available (Why is that?)
• The polarized \(\lambda\)-calculus
• On classical PCF, linear logic and the MIX rule
• Jumbo λ-Calculus
• Non-linearity as the metric completion of linearity
• Title not available (Why is that?)

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)