{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,2]],"date-time":"2026-01-02T07:42:38Z","timestamp":1767339758501,"version":"3.28.0"},"reference-count":42,"publisher":"IEEE","license":[{"start":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T00:00:00Z","timestamp":1559347200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/Crown.html"},{"start":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T00:00:00Z","timestamp":1559347200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T00:00:00Z","timestamp":1559347200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,6]]},"DOI":"10.1109\/lics.2019.8785664","type":"proceedings-article","created":{"date-parts":[[2019,8,6]],"date-time":"2019-08-06T01:15:55Z","timestamp":1565054155000},"page":"1-20","source":"Crossref","is-referenced-by-count":6,"title":["Categorical Semantics for Time Travel"],"prefix":"10.1109","author":[{"given":"Nicola","family":"Pinzani","sequence":"first","affiliation":[]},{"given":"Stefano","family":"Gogioso","sequence":"additional","affiliation":[]},{"given":"Bob","family":"Coecke","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"A universal completion of the zx-calculus","year":"2014","author":"ng","key":"ref39"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1088\/1367-2630\/16\/9\/093021"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevD.61.024002"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.59.521"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1063\/1.523436"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.89.022311"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1088\/1367-2630\/13\/4\/043016"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2008.04.014"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2006.12.018"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1007\/s00220-006-0066-5"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1098\/rspa.2008.0350"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.100.030501"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/s10701-011-9601-0"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/BF00792069"},{"key":"ref13","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1098\/rspa.1982.0160","article-title":"On crossing the cauchy horizon of a reissner-nordstroem black-hole","volume":"384","author":"chandrasekhar","year":"1982","journal-title":"Proceedings of the Royal Society A"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.61.1446"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevD.46.603"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/BF00750958"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1063\/1.4996575"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-444-52869-8.50010-4"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-12821-9_4"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.103.170502"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1088\/0305-4470\/13\/6\/033"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/s10773-011-0973-x"},{"article-title":"Taub-nut space as countermeasure to almost anything","year":"1965","author":"misner","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevD.44.3197"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.102.210402"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.90.042107"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevD.84.025007"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.106.040403"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.11.237"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1098\/rspa.2005.1546"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1103\/RevModPhys.21.447"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1017\/9781316219317"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/s00354-016-0201-6"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/s10701-012-9646-8"},{"journal-title":"Quantum Computation and Quantum Information 10th Anniversary Edition","year":"2011","author":"nielsen","key":"ref42"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1038\/nphys3414"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.111.190401"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2017.8005095"},{"article-title":"The logic of entanglement. An invitation","year":"2003","author":"coecke","key":"ref26"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1088\/1367-2630\/18\/7\/073037"}],"event":{"name":"2019 34th Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)","start":{"date-parts":[[2019,6,24]]},"location":"Vancouver, BC, Canada","end":{"date-parts":[[2019,6,27]]}},"container-title":["2019 34th Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8765678\/8785654\/08785664.pdf?arnumber=8785664","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,19]],"date-time":"2022-07-19T20:20:37Z","timestamp":1658262037000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8785664\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,6]]},"references-count":42,"URL":"https:\/\/doi.org\/10.1109\/lics.2019.8785664","relation":{},"subject":[],"published":{"date-parts":[[2019,6]]}}}