The following pages link to (Q3692876):
Displaying 12 items.
- Conduché property and tree-based categories (Q1040596) (← links)
- Local adjunctions (Q1120666) (← links)
- Enriched categorical semantics for distributed calculi (Q1208210) (← links)
- (Q3028349) (← links)
- (Q3667049) (← links)
- (Q3756531) (← links)
- (Q3978743) (← links)
- (Q4041460) (← links)
- (Q4799366) (← links)
- Universality of R-automata with Value Copying (Q5179055) (← links)
- A general architecture of oritatami systems for simulating arbitrary finite automata (Q5918272) (← links)
- Automata and coalgebras in categories of species (Q6666774) (← links)