{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,22]],"date-time":"2026-05-22T11:11:22Z","timestamp":1779448282627,"version":"3.53.1"},"reference-count":39,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T00:00:00Z","timestamp":1777593600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T00:00:00Z","timestamp":1777593600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T00:00:00Z","timestamp":1777593600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-017"},{"start":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T00:00:00Z","timestamp":1777593600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"},{"start":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T00:00:00Z","timestamp":1777593600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-012"},{"start":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T00:00:00Z","timestamp":1777593600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T00:00:00Z","timestamp":1777593600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-004"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Theoretical Computer Science"],"published-print":{"date-parts":[[2026,5]]},"DOI":"10.1016\/j.tcs.2026.115893","type":"journal-article","created":{"date-parts":[[2026,3,13]],"date-time":"2026-03-13T08:48:46Z","timestamp":1773391726000},"page":"115893","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":0,"special_numbering":"C","title":["A categorical approach to reversible Turing machines and Brin-Thompson groups"],"prefix":"10.1016","volume":"1072","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7236-2906","authenticated-orcid":false,"given":"Emmanuel","family":"Jeandel","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"78","reference":[{"issue":"4","key":"10.1016\/j.tcs.2026.115893_bib0001","doi-asserted-by":"crossref","DOI":"10.1088\/1367-2630\/13\/4\/043016","article-title":"Interacting quantum observables: categorical algebra and diagrammatics","volume":"13","author":"Coecke","year":"2011","journal-title":"New J. Phys."},{"issue":"1","key":"10.1016\/j.tcs.2026.115893_bib0002","doi-asserted-by":"crossref","first-page":"144","DOI":"10.1016\/j.jpaa.2016.06.002","article-title":"Interacting Hopf algebras","volume":"221","author":"Bonchi","year":"2017","journal-title":"J. Pure Appl. Algebra"},{"key":"10.1016\/j.tcs.2026.115893_bib0003","series-title":"PhD thesis","article-title":"Interacting Hopf Algebras","author":"Zanasi","year":"2015"},{"issue":"6","key":"10.1016\/j.tcs.2026.115893_bib0004","doi-asserted-by":"crossref","first-page":"525","DOI":"10.1147\/rd.176.0525","article-title":"Logical reversibility of computation","volume":"17","author":"Bennett","year":"1973","journal-title":"IBM J. Res. Dev"},{"key":"10.1016\/j.tcs.2026.115893_bib0005","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1007\/s10711-004-8122-9","article-title":"Higher dimensional Thompson groups","volume":"108","author":"Matthew","year":"2004","journal-title":"Geometriae Dedicata"},{"key":"10.1016\/j.tcs.2026.115893_bib0006","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1007\/s10711-013-9853-2","article-title":"Conjugacy and dynamics in Thompson\u2019s groups","volume":"196","author":"Belk","year":"2014","journal-title":"Geometriae Dedicata"},{"key":"10.1016\/j.tcs.2026.115893_bib0007","doi-asserted-by":"crossref","first-page":"288","DOI":"10.1016\/j.jcss.2016.10.004","article-title":"A small minimal aperiodic reversible turing machine","volume":"84","author":"Cassaigne","year":"2017","journal-title":"J. Comput. Syst. Sci."},{"key":"10.1016\/j.tcs.2026.115893_bib0008","series-title":"Mathematical Foundations of Computer Science (MFCS)","article-title":"The transitivity problem of turing machines","author":"Gajardo","year":"2015"},{"key":"10.1016\/j.tcs.2026.115893_bib0009","series-title":"Proceedings of the London Mathematical Society","first-page":"230","article-title":"On computable numbers, with an application to the entscheidungsproblem","volume":"s2\u201342","author":"Turing","year":"1937"},{"issue":"3","key":"10.1016\/j.tcs.2026.115893_bib0010","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1007\/BF01470748","article-title":"Turing-machines and the Entscheidungs problem","volume":"148","author":"Richard","year":"1962","journal-title":"Math. Annalen"},{"issue":"2","key":"10.1016\/j.tcs.2026.115893_bib0011","doi-asserted-by":"crossref","first-page":"219","DOI":"10.2307\/2269811","article-title":"The undecidability of the Turing machine immortality problem","volume":"31","author":"Philip","year":"1966","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/j.tcs.2026.115893_bib0012","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1016\/S0304-3975(96)00025-4","article-title":"On topological dynamics of Turing machines","volume":"174","author":"Kurka","year":"1997","journal-title":"Theor. Comput. Sci."},{"key":"10.1016\/j.tcs.2026.115893_bib0013","first-page":"2597","article-title":"Machines de turing r\u00e9versibles","volume":"257","author":"Lecerf","year":"1963","journal-title":"Comptes rendus des s\u00e9ances de l\u2019Acad\u00e9mie des Sciences"},{"issue":"2","key":"10.1016\/j.tcs.2026.115893_bib0014","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1088\/0951-7715\/4\/2\/002","article-title":"Generalized shifts: unpredictability and undecidability in dynamical systems","volume":"4","author":"Moore","year":"1991","journal-title":"Nonlinearity"},{"key":"10.1016\/j.tcs.2026.115893_bib0015","series-title":"The group of reversible turing machines: subgroups, generators and computability","author":"Barbieri","year":"2023"},{"issue":"5","key":"10.1016\/j.tcs.2026.115893_bib0016","doi-asserted-by":"crossref","first-page":"3157","DOI":"10.1090\/tran\/6963","article-title":"Some undecidability results for asynchronous transducers and the brin-thompson group 2v","volume":"369","author":"Belk","year":"2017","journal-title":"Trans. Am. Math. Soc."},{"key":"10.1016\/j.tcs.2026.115893_bib0017","series-title":"FOSSACS","article-title":"From symmetric pattern-matching to quantum control","author":"Sabry","year":"2018"},{"key":"10.1016\/j.tcs.2026.115893_bib0018","series-title":"Embeddings into finitely generated simple groups which preserve the word problem","first-page":"401","author":"Thompson","year":"1980"},{"key":"10.1016\/j.tcs.2026.115893_bib0019","series-title":"Technical Report","article-title":"Finitely Presented Infinite Simple Groups","author":"Higman","year":"1974"},{"key":"10.1016\/j.tcs.2026.115893_bib0020","first-page":"45","article-title":"Finiteness properties of groups","volume":"44","author":"Brown","year":"1987","journal-title":"J. Pure Appl.Math"},{"key":"10.1016\/j.tcs.2026.115893_bib0021","first-page":"419","article-title":"Periodicity and immortality in reversible computing","volume":"5162","author":"Kari","year":"2008","journal-title":"MFCS 2008"},{"key":"10.1016\/j.tcs.2026.115893_bib0022","doi-asserted-by":"crossref","first-page":"499","DOI":"10.4171\/ggd\/405","article-title":"Full groups of cuntz-krieger algebras and higman-thompson groups","volume":"11","author":"Matsumoto","year":"2017","journal-title":"Groups Geometry Dyn."},{"key":"10.1016\/j.tcs.2026.115893_bib0023","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1515\/crelle-2013-0041","article-title":"Topological full groups of one-sided shifts of finite type","volume":"705","author":"Matui","year":"2015","journal-title":"J. f\u00fcr die reine und angewandte Mathematik"},{"key":"10.1016\/j.tcs.2026.115893_sbref0024","series-title":"Props in network theory","author":"Baez","year":"2017"},{"key":"10.1016\/j.tcs.2026.115893_bib0025","series-title":"Categorical algebra","first-page":"40","author":"Mac","year":"1965"},{"key":"10.1016\/j.tcs.2026.115893_bib0026","series-title":"Operads and Props","first-page":"87","volume":"5","author":"Markl","year":"2008"},{"key":"10.1016\/j.tcs.2026.115893_bib0027","series-title":"New Structures for Physics","first-page":"289","article-title":"A survey of graphical languages for monoidal categories","author":"Selinger","year":"2010"},{"key":"10.1016\/j.tcs.2026.115893_bib0028","series-title":"The Geometry of Tensor Calculus, I. Advances in Mathematics","volume":"88","author":"Joyal","year":"1991"},{"key":"10.1016\/j.tcs.2026.115893_bib0029","series-title":"Technical Report","article-title":"The Way of the Dagger","author":"Karvonen","year":"2019"},{"key":"10.1016\/j.tcs.2026.115893_bib0030","series-title":"International Conference on Quantum Programming Languages (QPL)","article-title":"Dagger compact closed categories and completely positive maps","author":"Selinger","year":"2007"},{"key":"10.1016\/j.tcs.2026.115893_bib0031","series-title":"Technical Report","article-title":"Thompson\u2019s Group F","author":"Belk","year":"2004"},{"key":"10.1016\/j.tcs.2026.115893_bib0032","author":"Spahn"},{"issue":"9","key":"10.1016\/j.tcs.2026.115893_bib0033","first-page":"147","article-title":"Composing PROPs","volume":"13","author":"Lack","year":"2004","journal-title":"Theory Appl. Categ."},{"key":"10.1016\/j.tcs.2026.115893_bib0034","article-title":"Feedback, trace and fixed-point semantics","volume":"36","author":"Katis","year":"2002","journal-title":"Theor. Inf. Appl."},{"key":"10.1016\/j.tcs.2026.115893_bib0035","doi-asserted-by":"crossref","first-page":"495","DOI":"10.1007\/s10270-023-01092-7","article-title":"Span(graph): a canonical feedback algebra of open transition systems","volume":"22","author":"Lavore","year":"2023","journal-title":"Softw. Syst. Modeling"},{"key":"10.1016\/j.tcs.2026.115893_bib0036","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1017\/S0305004100074338","article-title":"Traced monoidal categories","volume":"119","author":"Joyal","year":"1996","journal-title":"Math. Proc. Cambridge Philos. Soc."},{"key":"10.1016\/j.tcs.2026.115893_bib0037","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0167-2789(97)00199-1","article-title":"Time-reversal symmetry in dynamical systems: a survey","volume":"112","author":"Lamb","year":"1998","journal-title":"Physica D"},{"issue":"8","key":"10.1016\/j.tcs.2026.115893_bib0038","doi-asserted-by":"crossref","first-page":"3429","DOI":"10.1080\/00927872.2020.1739290","article-title":"New embeddings between the Higman-Thompson groups","volume":"48","author":"Birget","year":"2020","journal-title":"Commun. Algebra"},{"key":"10.1016\/j.tcs.2026.115893_bib0039","series-title":"Rigidity properties of full groups of pseudogroups over the cantor set","author":"Matte","year":"2018"}],"container-title":["Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0304397526001520?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0304397526001520?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2026,5,22]],"date-time":"2026-05-22T11:03:13Z","timestamp":1779447793000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0304397526001520"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,5]]},"references-count":39,"alternative-id":["S0304397526001520"],"URL":"https:\/\/doi.org\/10.1016\/j.tcs.2026.115893","relation":{},"ISSN":["0304-3975"],"issn-type":[{"value":"0304-3975","type":"print"}],"subject":[],"published":{"date-parts":[[2026,5]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"A categorical approach to reversible Turing machines and Brin-Thompson groups","name":"articletitle","label":"Article Title"},{"value":"Theoretical Computer Science","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.tcs.2026.115893","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2026 Elsevier B.V. All rights are reserved, including those for text and data mining, AI training, and similar technologies.","name":"copyright","label":"Copyright"}],"article-number":"115893"}}