A calculus of multiary sequent terms

DOI10.1145/1929954.1929959zbMATH Open1352.03063OpenAlexW2128959251MaRDI QIDQ2946641FDOQ2946641

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

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

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)

Cited In (8)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Variations and interpretations of naturality in call-by-name lambda-calculi with generalized applications
• A faithful and quantitative notion of distant reduction for the lambda-calculus with generalized applications
• A mereotopology based on sequent algebras
• Types for Proofs and Programs
• Structural Proof Theory as Rewriting

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)