arxiv.org
arxiv.org
https://arxiv.org › abs › 2203.00362
Reasonable Space for the -Calculus, Logarithmically* - arXiv.org
REASONABLE SPACE FOR THE λ-CALCULUS, LOGARITHMICALLY 3 (3) Encoding and moving over tapes: designing the Space KAM is only half of the story. The other half is the refinement of the encoding of TMs into the λ-calculus. Our reference is the encoding by Dal Lago and Accattoli [DLA17], which uses a linear amount of extra