The following pages link to Pre-recursive categories (Q1164127):
Displaying 4 items.
- An equational variant of Lawvere's natural numbers object (Q1588078) (← links)
- Galois Theory of Algorithms (Q3299851) (← links)
- Programs, Grammars and Arguments: A Personal View of some Connections between Computation, Language and Logic (Q4372922) (← links)
- Transport of finiteness structures and applications (Q4577981) (← links)