scientific article; zbMATH DE number 4004153

zbMATH Open0619.03013MaRDI QIDQ3755431FDOQ3755431

Authors: Ingemarie Bethke 

Publication date: 1986

Title of this publication is not available (Why is that?)

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

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)

Cited In (10)

• Set-theoretical and other elementary models of the \(\lambda\)-calculus
• On the existence of extensional partial combinatory algebras
• Title not available (Why is that?)
• Title not available (Why is that?)
• On combinatory algebras and their expansions
• Title not available (Why is that?)
• Extensions of Scott's graph model and Kleene's second algebra
• Extension of combinatory logic to a theory of combinatory representation
• Title not available (Why is that?)
• 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)