A calculus of multiary sequent terms

DOI10.1145/1929954.1929959zbMath1352.03063OpenAlexW2128959251MaRDI QIDQ2946641

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

lambda calculusCurry-Howard isomorphismintuitionistic sequent calculuspermutative conversionsgeneralized applicationmultiary application

Mathematics Subject Classification ID

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

Related Items (1)

Variations and interpretations of naturality in call-by-name lambda-calculi with generalized applications

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