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 isomorphismlambda calculusintuitionistic sequent calculuspermutative conversionsgeneralized applicationmultiary application

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2061717
• Types for Proofs and Programs
• 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

(8)

• Structural Proof Theory as Rewriting
• A faithful and quantitative notion of distant reduction for the lambda-calculus with generalized applications
• Types for Proofs and Programs
• Variations and interpretations of naturality in call-by-name lambda-calculi with generalized applications
• scientific article; zbMATH DE number 2061717 (Why is no real title available?)
• scientific article; zbMATH DE number 1339952 (Why is no real title available?)
• scientific article; zbMATH DE number 7594103 (Why is no real title available?)
• A mereotopology based on sequent algebras

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)