Home Online Mathematical Communication Thoughts Tree-eval, catalytic computation, simulating time with square-root space