Collapsing partial combinatory algebras

DOI10.1007/3-540-61254-8_19MaRDI QIDQ4645804zbMATH OpenOpenAlexFDO

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)

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