Refocusing Generalised Normalisation

DOI10.1007/978-3-540-73001-9_27MaRDI QIDQ5425327zbMATH OpenOpenAlexFDO

Authors José Espírito Santo

Publication date 13 November 2007

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

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

zbMATH Keywords

generalised elimination rulesmultiaritynormalisation

Mathematics Subject Classification ID

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

Recommendations

• The \(\lambda \)-calculus and the unity of structural proof theory
• Cut elimination and normalization for generalized single and multi-conclusion sequent and natural deduction calculi
• scientific article; zbMATH DE number 1980937
• scientific article; zbMATH DE number 1670856
• Lambda terms for natural deduction, sequent calculus and cut elimination

Cited in

(9)

• Some general results about proof normalization
• Variations and interpretations of naturality in call-by-name lambda-calculi with generalized applications
• Recent Developments in Normaliz
• A calculus of multiary sequent terms
• scientific article; zbMATH DE number 4134006 (Why is no real title available?)
• Structural Proof Theory as Rewriting
• Cut elimination and normalization for generalized single and multi-conclusion sequent and natural deduction calculi
• A cut-like inference in a framework of explicit composition for various calculi of natural deduction
• The \(\lambda \)-calculus and the unity of structural proof theory

This page was built for publication: Refocusing Generalised Normalisation

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