scientific article; zbMATH DE number 4004153

MaRDI QIDQ3755431zbMATH OpenFDO

Authors Ingemarie Bethke

Publication date 1986

zbMATH Keywords

combinatory algebrasextensionality propertygraph algebras

Mathematics Subject Classification ID

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

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

(13)

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

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)