Pages that link to "Item:Q912587"
From MaRDI portal
The following pages link to A category-theoretic characterization of functional completeness (Q912587):
Displaying 18 items.
- Constructing language processors with algebra combinators (Q608238) (← links)
- Introduction to Turing categories (Q998306) (← links)
- Functions on universal algebras (Q1076129) (← links)
- Combinatory completeness without classical equality (Q1100189) (← links)
- Functional completeness in iterative meta-algebras (Q1280934) (← links)
- A computable expression of closure to efficient causation (Q1617623) (← links)
- Categorical models of the differential \(\lambda\)-calculus revisited (Q1744378) (← links)
- Essential completeness in categories of completely regular frames. (Q1942032) (← links)
- Free-algebra models for the \(\pi \)-calculus (Q2474057) (← links)
- A combinatory account of internal structure (Q3173527) (← links)
- Gödel numberings, principal morphisms, combinatory algebras. A category-theoretic characterization of functional completeness (Q3682463) (← links)
- (Q3801547) (← links)
- Categorical models for non-extensional λ-calculi and combinatory logic (Q4279260) (← links)
- Coproducts of Ideal Monads (Q4659887) (← links)
- (Q4682103) (← links)
- Aspects of Categorical Recursion Theory (Q5014598) (← links)
- Categorical models of the differential λ-calculus (Q5108533) (← links)
- Functional Completeness in CPL via Correspondence Analysis (Q5241402) (← links)