An alternate proof of Statman's finite completeness theorem

DOI10.1016/J.IPL.2012.04.014zbMATH Open1243.03017OpenAlexW2273291048MaRDI QIDQ436624FDOQ436624

Authors: B. Srivathsan, Igor Walukiewicz 

Publication date: 25 July 2012

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ipl.2012.04.014

Recommendations

• Statman's 1-section theorem
• Strong typed Böhm theorem and functional completeness on the linear lambda calculus
• Typed Lambda Calculi and Applications
• A simple proof of a theorem of Statman
• Order-incompleteness and finite lambda reduction models

zbMATH Keywords

theory of computationformal semanticssimply typed lambda calculus

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Cites Work

• Completeness in the theory of types
• Recognizability in the Simply Typed Lambda-Calculus
• Completeness, invariance and λ-definability
• Title not available (Why is that?)
• The Clausal Theory of Types
• On the membership problem for non-linear abstract categorial grammars

Cited In (3)

• The IO and OI hierarchies revisited
• Statman's 1-section theorem
• A brief proof of the full completeness of Shin's Venn diagram proof system

This page was built for publication: An alternate proof of Statman's finite completeness theorem

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