The following pages link to (Q4725714):
Displaying 13 items.
- A categorical theory of patches (Q265821) (← links)
- Strong categorical datatypes II: A term logic for categorical programming (Q673963) (← links)
- Categories with finite limits and stable binary coproducts can be subdirectly decomposed (Q1192251) (← links)
- A database of categories. (Q1426134) (← links)
- Conditionally reversible computations and weak universality in category theory (Q2256643) (← links)
- Towards a Definition of an Algorithm (Q3006116) (← links)
- Concretely functorial programming (Q3978983) (← links)
- (Q4510453) (← links)
- (Q4512408) (← links)
- (Q4525557) (← links)
- Problems in rewriting applied to categorical concepts by the example of a computational comonad (Q5055832) (← links)
- Relationships between category theory and functional programming with an application (Q5229862) (← links)
- A mechanically assisted constructive proof in category theory (Q6488555) (← links)