Pages that link to "Item:Q912587"
From MaRDI portal
The following pages link to A category-theoretic characterization of functional completeness (Q912587):
Displaying 9 items.
- Constructing language processors with algebra combinators (Q608238) (← links)
- Introduction to Turing categories (Q998306) (← links)
- A computable expression of closure to efficient causation (Q1617623) (← links)
- Categorical models of the differential \(\lambda\)-calculus revisited (Q1744378) (← links)
- Free-algebra models for the \(\pi \)-calculus (Q2474057) (← links)
- Categorical models for non-extensional λ-calculi and combinatory logic (Q4279260) (← links)
- Coproducts of Ideal Monads (Q4659887) (← links)
- Aspects of Categorical Recursion Theory (Q5014598) (← links)
- Categorical models of the differential λ-calculus (Q5108533) (← links)
