On combinatory algebras and their expansions

DOI10.1016/0304-3975(84)90123-3zbMath0555.03006OpenAlexW2016890450MaRDI QIDQ760416

Kim B. Bruce

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

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

Related Items (3)

A category-theoretic characterization of functional completeness ⋮ Computability in higher types, P\(\omega\) and the completeness of type assignment ⋮ Set-theoretical models of lambda-calculus: theories, expansions, isomorphisms

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Set-theoretical models of lambda-calculus: theories, expansions, isomorphisms
• The lambda calculus, its syntax and semantics
• Algebras and combinators
• Computable functionals of finite types
• Models of the lambda calculus
• Lambda‐Calculus Models and Extensionality
• Data Types as Lattices
• What is a model of the lambda calculus?

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