%0 Journal Article %1 journals/corr/abs-2301-12556 %A Accattoli, Beniamino %A Lago, Ugo Dal %A Vanoni, Gabriele %D 2023 %J CoRR %K dblp %T A Log-Sensitive Encoding of Turing Machines in the λ-Calculus. %U http://dblp.uni-trier.de/db/journals/corr/corr2301.html#abs-2301-12556 %V abs/2301.12556

@article{journals/corr/abs-2301-12556, added-at = {2023-02-01T00:00:00.000+0100}, author = {Accattoli, Beniamino and Lago, Ugo Dal and Vanoni, Gabriele}, biburl = {https://www.bibsonomy.org/bibtex/2ef4ad16f5b7dbba342ee4ea1512a8655/dblp}, ee = {https://doi.org/10.48550/arXiv.2301.12556}, interhash = {e4a4c50a6fee3730862e1a6e7c7bf44d}, intrahash = {ef4ad16f5b7dbba342ee4ea1512a8655}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T22:30:34.000+0200}, title = {A Log-Sensitive Encoding of Turing Machines in the λ-Calculus.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2301.html#abs-2301-12556}, volume = {abs/2301.12556}, year = 2023 }