A calculus of multiary sequent terms

DOI10.1145/1929954.1929959MaRDI QIDQ2946641zbMATH OpenOpenAlexFDO

Authors José Espírito Santo, Luís Pinto

Publication date 17 September 2015

Published in ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/1822/13192

zbMATH Keywords

Curry-Howard isomorphismgeneralized applicationintuitionistic sequent calculuslambda calculusmultiary applicationpermutative conversions

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Cut-elimination and normal-form theorems (03F05)

Recommendations

• Permutative conversions in intuitionistic multiary sequent calculi with cuts
• Confluence and strong normalisation of the generalised multiary -calculus
• Structural Proof Theory as Rewriting
• Cut elimination and normalization for generalized single and multi-conclusion sequent and natural deduction calculi
• Refocusing Generalised Normalisation

Cited in

(9)

• Variations and interpretations of naturality in call-by-name lambda-calculi with generalized applications
• Structural Proof Theory as Rewriting
• scientific article; zbMATH DE number 1339952 (Why is no real title available?)
• Permutative conversions in intuitionistic multiary sequent calculi with cuts
• A mereotopology based on sequent algebras
• Confluence and strong normalisation of the generalised multiary -calculus
• scientific article; zbMATH DE number 7594103 (Why is no real title available?)
• A faithful and quantitative notion of distant reduction for the lambda-calculus with generalized applications
• Permutability in proof terms for intuitionistic sequent calculus with cuts

This page was built for publication: A calculus of multiary sequent terms

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