Long-arm functional individuation of computation