The following pages link to (Q4207894):
Displaying 4 items.
- A categorial approach to the theory of computation (Q911584) (← links)
- An equational variant of Lawvere's natural numbers object (Q1588078) (← links)
- Categorical fixed point semantics (Q1813970) (← links)
- Some thoughts on computational models: from massive human computing to abstract state machines, and beyond (Q2117588) (← links)