Extending partial combinatory algebras

DOI10.1017/S0960129599002832MaRDI QIDQ4704765zbMATH OpenOpenAlexFDO

Authors Inge Bethke, Jan Willem Klop, Roel de Vrijer

Publication date 25 November 1999

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0960129599002832

zbMATH Keywords

incompletabilitypartial combinatory algebraterm model

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Other algebras related to logic (03G25)

Recommendations

• On the existence of extensional partial combinatory algebras
• scientific article; zbMATH DE number 4004153
• scientific article; zbMATH DE number 176159
• Partial combinatory algebras of functions
• On combinatory algebras and their expansions
• scientific article; zbMATH DE number 4006322
• Limiting partial combinatory algebras
• Computability in partial combinatory algebras
• Collapsing partial combinatory algebras

Cited in

(11)

• 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08
• On the existence of extensional partial combinatory algebras
• scientific article; zbMATH DE number 1189067 (Why is no real title available?)
• scientific article; zbMATH DE number 176159 (Why is no real title available?)
• A sufficient condition for completability of partial combinatory algebras
• scientific article; zbMATH DE number 1504832 (Why is no real title available?)
• Collapsing partial combinatory algebras
• Computability in partial combinatory algebras
• Typability in partial applicative structures
• The complexity of completions in partial combinatory algebra
• Completions of Kleene's second model

This page was built for publication: Extending partial combinatory algebras

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