The following pages link to (Q4415239):
Displaying 4 items.
- Computation by interaction for space-bounded functional programming (Q276265) (← links)
- Towards a geometry of recursion (Q534710) (← links)
- Light logics and optimal reduction: completeness and complexity (Q627123) (← links)
- Linear lambda terms as invariants of rooted trivalent maps (Q5371978) (← links)