On combinatory algebras and their expansions

DOI10.1016/0304-3975(84)90123-3zbMATH Open0555.03006OpenAlexW2016890450MaRDI QIDQ760416FDOQ760416

Authors Kim B. Bruce, Giuseppe Longo 

Publication date 1984

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0304-3975(84)90123-3

zbMATH Keywords

expansions of combinatory algebraslambda- modelsuntyped lambda-calculus

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Model theory (03C99)

Recommendations

• scientific article; zbMATH DE number 4004153
• Finite type structures within combinatory algebras
• On the algebraic models of lambda calculus
• scientific article; zbMATH DE number 3889500
• The lambda calculus is algebraic

Cites work

• scientific article; zbMATH DE number 3889501 (Why is no real title available?)
• scientific article; zbMATH DE number 4087654 (Why is no real title available?)
• scientific article; zbMATH DE number 3735771 (Why is no real title available?)
• scientific article; zbMATH DE number 3291134 (Why is no real title available?)
• Algebras and combinators
• Computable functionals of finite types
• Data Types as Lattices
• Lambda‐Calculus Models and Extensionality
• Models of the lambda calculus
• Set-theoretical models of lambda-calculus: theories, expansions, isomorphisms
• The lambda calculus, its syntax and semantics
• What is a model of the lambda calculus?

Cited in

(12)

• Extending partial combinatory algebras
• A Note on Absolutely Unorderable Combinatory Algebras
• On flexible composition algebras
• Computability in higher types, P\(\omega\) and the completeness of type assignment
• Collapsing partial combinatory algebras
• scientific article; zbMATH DE number 176159 (Why is no real title available?)
• Set-theoretical models of lambda-calculus: theories, expansions, isomorphisms
• scientific article; zbMATH DE number 4004153 (Why is no real title available?)
• scientific article; zbMATH DE number 517041 (Why is no real title available?)
• scientific article; zbMATH DE number 4128787 (Why is no real title available?)
• COMPUTABLY ENUMERABLE ALGEBRAS, THEIR EXPANSIONS, AND ISOMORPHISMS
• A category-theoretic characterization of functional completeness

This page was built for publication: On combinatory algebras and their expansions

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