Collapsing partial combinatory algebras

<a class="pub-badge pub-badge--doi" href="https://doi.org/10.1007/3-540-61254-8_19" rel="nofollow">DOI 10.1007/3-540-61254-8_19</a><a class="pub-badge pub-badge--grey" href="https://zbmath.org/1434.03048" rel="nofollow">zbMATH</a><a class="pub-badge pub-badge--grey" href="https://openalex.org/works/W2110333178" rel="nofollow">OpenAlex</a><a class="pub-badge pub-badge--mardi" href="https://portal.mardi4nfdi.de/wiki/Item:Q4645804" rel="nofollow">MaRDI QID Q4645804</a><a class="pub-badge pub-badge--grey" href="https://fdo.portal.mardi4nfdi.de/fdo/Q4645804" rel="nofollow">FDO</a>

Authors Inge Bethke, Jan Willem Klop

Publication date 11 January 2019

Published in Higher-Order Algebra, Logic, and Term Rewriting (Search for Journal in Brave)

Full work available at URL https://ir.cwi.nl/pub/1388

zbMATH Keywords

combinatory logiccongruence relationhomomorphic imagepartial algebrarecursive function

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Recursive functions and relations, subrecursive hierarchies (03D20) Partial algebras (08A55)

Recommendations

• Extending partial combinatory algebras
• Limiting partial combinatory algebras
• Ordered partial combinatory algebras
• Embeddings between partial combinatory algebras
• Computability in partial combinatory algebras
• Partial combinatory algebras of functions
• On the existence of extensional partial combinatory algebras
• On combinatory algebras and their expansions
• Partial combinatory algebra and generalized numberings
• Reflexive combinatory algebras

Cites work

• scientific article; zbMATH DE number 3648679 (Why is no real title available?)
• scientific article; zbMATH DE number 3900744 (Why is no real title available?)
• scientific article; zbMATH DE number 3916224 (Why is no real title available?)
• scientific article; zbMATH DE number 4090779 (Why is no real title available?)
• scientific article; zbMATH DE number 3556025 (Why is no real title available?)
• scientific article; zbMATH DE number 3639689 (Why is no real title available?)
• scientific article; zbMATH DE number 1142316 (Why is no real title available?)
• scientific article; zbMATH DE number 3993540 (Why is no real title available?)
• scientific article; zbMATH DE number 226803 (Why is no real title available?)
• Algebraically Generalized Recursive Function Theory
• Algebras and combinators
• Constructivism in mathematics. An introduction. Volume II
• Data Types as Lattices
• Effective applicative structures
• Finite type structures within combinatory algebras
• On the existence of extensional partial combinatory algebras
• Partial algebras-survey of a unifying approach towards a two-valued model theory for partial algebras
• Some new results on easy lambda-terms
• The lambda calculus. Its syntax and semantics. Rev. ed.
• Uniformly Reflexive Structures: On the Nature of Godelizations and Relative Computability

Cited in

(10)

• Extending partial combinatory algebras
• Computability in partial combinatory algebras
• On the existence of extensional partial combinatory algebras
• Introduction to Turing categories
• scientific article; zbMATH DE number 517041 (Why is no real title available?)
• Embeddings between partial combinatory algebras
• Partial combinatory algebras of functions
• A simple model construction for the calculus of constructions
• The complexity of completions in partial combinatory algebra
• A notion of a computational step for partial combinatory algebras

This page was built for publication: Collapsing partial combinatory algebras

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