scientific article; zbMATH DE number 4004153

MaRDI QIDQ3755431zbMATH OpenFDO

Authors Ingemarie Bethke

Publication date 1986

zbMATH Keywords

graph algebrascombinatory algebrasextensionality property

Mathematics Subject Classification ID

Partial orders, general (06A06) Specification and verification (program logics, model checking, etc.) (68Q60) Combinatory logic and lambda calculus (03B40) Models of other mathematical theories (03C65)

Recommendations

• Finite type structures within combinatory algebras
• On combinatory algebras and their expansions
• Constructive set theoretic models of typed combinatory logic
• scientific article; zbMATH DE number 517041
• scientific article; zbMATH DE number 176159

Cited in

(10)

• Set-theoretical and other elementary models of the \(\lambda\)-calculus
• On the existence of extensional partial combinatory algebras
• scientific article; zbMATH DE number 517041 (Why is no real title available?)
• On combinatory algebras and their expansions
• scientific article; zbMATH DE number 176159 (Why is no real title available?)
• scientific article; zbMATH DE number 4128787 (Why is no real title available?)
• Extensions of Scott's graph model and Kleene's second algebra
• Extension of combinatory logic to a theory of combinatory representation
• scientific article; zbMATH DE number 3889503 (Why is no real title available?)
• Extending partial combinatory algebras

This page was built for publication:

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