Collapsing partial combinatory algebras

DOI10.1007/3-540-61254-8_19zbMATH Open1434.03048OpenAlexW2110333178MaRDI QIDQ4645804FDOQ4645804

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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The lambda calculus. Its syntax and semantics. Rev. ed.
• Data Types as Lattices
• Algebras and combinators
• Some new results on easy lambda-terms
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Constructivism in mathematics. An introduction. Volume II
• Title not available (Why is that?)
• Partial algebras-survey of a unifying approach towards a two-valued model theory for partial algebras
• Algebraically Generalized Recursive Function Theory
• Effective applicative structures
• Uniformly Reflexive Structures: On the Nature of Godelizations and Relative Computability
• Finite type structures within combinatory algebras
• On the existence of extensional partial combinatory algebras

Cited In (9)

• On the existence of extensional partial combinatory algebras
• A simple model construction for the Calculus of Constructions
• Title not available (Why is that?)
• Introduction to Turing categories
• COMPUTABILITY IN PARTIAL COMBINATORY ALGEBRAS
• The complexity of completions in partial combinatory algebra
• A notion of a computational step for partial combinatory algebras
• Partial combinatory algebras of functions
• 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)