Collapsing partial combinatory algebras
From MaRDI portal
Publication:4645804
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
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)