{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:DTWEZITI7ZEMKGH655G5DM3JYW","short_pith_number":"pith:DTWEZITI","canonical_record":{"source":{"id":"1307.0550","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2013-07-01T22:28:37Z","cross_cats_sorted":[],"title_canon_sha256":"b92eb16eab0dfddf9272784e761d2dbcddb7ed4f71745124ce3b887371d1e351","abstract_canon_sha256":"3f8399f2b87c8692c59f89f2b059e32b92d9363810dd57aa0008705d1c9cd4c3"},"schema_version":"1.0"},"canonical_sha256":"1cec4ca268fe48c518feef4dd1b369c5b1629dba3169ab4dbb2e160b81f87b34","source":{"kind":"arxiv","id":"1307.0550","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1307.0550","created_at":"2026-05-18T03:07:14Z"},{"alias_kind":"arxiv_version","alias_value":"1307.0550v3","created_at":"2026-05-18T03:07:14Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1307.0550","created_at":"2026-05-18T03:07:14Z"},{"alias_kind":"pith_short_12","alias_value":"DTWEZITI7ZEM","created_at":"2026-05-18T12:27:43Z"},{"alias_kind":"pith_short_16","alias_value":"DTWEZITI7ZEMKGH6","created_at":"2026-05-18T12:27:43Z"},{"alias_kind":"pith_short_8","alias_value":"DTWEZITI","created_at":"2026-05-18T12:27:43Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:DTWEZITI7ZEMKGH655G5DM3JYW","target":"record","payload":{"canonical_record":{"source":{"id":"1307.0550","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2013-07-01T22:28:37Z","cross_cats_sorted":[],"title_canon_sha256":"b92eb16eab0dfddf9272784e761d2dbcddb7ed4f71745124ce3b887371d1e351","abstract_canon_sha256":"3f8399f2b87c8692c59f89f2b059e32b92d9363810dd57aa0008705d1c9cd4c3"},"schema_version":"1.0"},"canonical_sha256":"1cec4ca268fe48c518feef4dd1b369c5b1629dba3169ab4dbb2e160b81f87b34","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:07:14.073794Z","signature_b64":"OKujMDwk774oq8ugSf1s3c1Gw0YnICiw29W6tIW4y8jCvopWOXHpnlkgScO/LxdmtWESulYS3XUe2Vo45mQ0CA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1cec4ca268fe48c518feef4dd1b369c5b1629dba3169ab4dbb2e160b81f87b34","last_reissued_at":"2026-05-18T03:07:14.073296Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:07:14.073296Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1307.0550","source_version":3,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T03:07:14Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fBBk47k3wZ33DYa5R7Awdzd2e2CuRhl1ZXIvZbIxpbdJ6jcNyDxDCQLrJmY8vgL97IoRiGQcJC9O5Ulvk6rhCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-22T00:47:04.973017Z"},"content_sha256":"2ee5dc6242607155d0da6e62bf8277f7ba4f6f509bf1c4453d902e50e1c0c56d","schema_version":"1.0","event_id":"sha256:2ee5dc6242607155d0da6e62bf8277f7ba4f6f509bf1c4453d902e50e1c0c56d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:DTWEZITI7ZEMKGH655G5DM3JYW","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Wave-Style Token Machines and Quantum Lambda Calculi (Long Version)","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Margherita Zorzi, Ugo Dal Lago","submitted_at":"2013-07-01T22:28:37Z","abstract_excerpt":"Particle-style token machines are a way to interpret proofs and programs, when the latter are defined according to the principles of linear logic. In this paper, we show that token machines also make sense when the programs at hand are those of a simple linear quantum $\\lambda$-calculus. This, however, requires generalizing the concept of a token machine to one in which more than one particle can possibly travel around the term at the same time. This is intimately related to entanglement and allows to give a simple operational semantics to the calculus coherently with the principles of quantum"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1307.0550","kind":"arxiv","version":3},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T03:07:14Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"KzSTVHERH1dnKEyshQWuiVmMg1lyiYxpMdabYa8ze/gqYkF8Sqjjvp9GC+4r4MYB/sBDalK7jRa3IO+UTnx/Cg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-22T00:47:04.973584Z"},"content_sha256":"0b2fb505edff048153e56a2375b01ea112412462c9073cdfb5155f2ddc762a76","schema_version":"1.0","event_id":"sha256:0b2fb505edff048153e56a2375b01ea112412462c9073cdfb5155f2ddc762a76"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/DTWEZITI7ZEMKGH655G5DM3JYW/bundle.json","state_url":"https://pith.science/pith/DTWEZITI7ZEMKGH655G5DM3JYW/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/DTWEZITI7ZEMKGH655G5DM3JYW/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-05-22T00:47:04Z","links":{"resolver":"https://pith.science/pith/DTWEZITI7ZEMKGH655G5DM3JYW","bundle":"https://pith.science/pith/DTWEZITI7ZEMKGH655G5DM3JYW/bundle.json","state":"https://pith.science/pith/DTWEZITI7ZEMKGH655G5DM3JYW/state.json","well_known_bundle":"https://pith.science/.well-known/pith/DTWEZITI7ZEMKGH655G5DM3JYW/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:DTWEZITI7ZEMKGH655G5DM3JYW","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"3f8399f2b87c8692c59f89f2b059e32b92d9363810dd57aa0008705d1c9cd4c3","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2013-07-01T22:28:37Z","title_canon_sha256":"b92eb16eab0dfddf9272784e761d2dbcddb7ed4f71745124ce3b887371d1e351"},"schema_version":"1.0","source":{"id":"1307.0550","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1307.0550","created_at":"2026-05-18T03:07:14Z"},{"alias_kind":"arxiv_version","alias_value":"1307.0550v3","created_at":"2026-05-18T03:07:14Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1307.0550","created_at":"2026-05-18T03:07:14Z"},{"alias_kind":"pith_short_12","alias_value":"DTWEZITI7ZEM","created_at":"2026-05-18T12:27:43Z"},{"alias_kind":"pith_short_16","alias_value":"DTWEZITI7ZEMKGH6","created_at":"2026-05-18T12:27:43Z"},{"alias_kind":"pith_short_8","alias_value":"DTWEZITI","created_at":"2026-05-18T12:27:43Z"}],"graph_snapshots":[{"event_id":"sha256:0b2fb505edff048153e56a2375b01ea112412462c9073cdfb5155f2ddc762a76","target":"graph","created_at":"2026-05-18T03:07:14Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"Particle-style token machines are a way to interpret proofs and programs, when the latter are defined according to the principles of linear logic. In this paper, we show that token machines also make sense when the programs at hand are those of a simple linear quantum $\\lambda$-calculus. This, however, requires generalizing the concept of a token machine to one in which more than one particle can possibly travel around the term at the same time. This is intimately related to entanglement and allows to give a simple operational semantics to the calculus coherently with the principles of quantum","authors_text":"Margherita Zorzi, Ugo Dal Lago","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2013-07-01T22:28:37Z","title":"Wave-Style Token Machines and Quantum Lambda Calculi (Long Version)"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1307.0550","kind":"arxiv","version":3},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:2ee5dc6242607155d0da6e62bf8277f7ba4f6f509bf1c4453d902e50e1c0c56d","target":"record","created_at":"2026-05-18T03:07:14Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"3f8399f2b87c8692c59f89f2b059e32b92d9363810dd57aa0008705d1c9cd4c3","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2013-07-01T22:28:37Z","title_canon_sha256":"b92eb16eab0dfddf9272784e761d2dbcddb7ed4f71745124ce3b887371d1e351"},"schema_version":"1.0","source":{"id":"1307.0550","kind":"arxiv","version":3}},"canonical_sha256":"1cec4ca268fe48c518feef4dd1b369c5b1629dba3169ab4dbb2e160b81f87b34","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1cec4ca268fe48c518feef4dd1b369c5b1629dba3169ab4dbb2e160b81f87b34","first_computed_at":"2026-05-18T03:07:14.073296Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:07:14.073296Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"OKujMDwk774oq8ugSf1s3c1Gw0YnICiw29W6tIW4y8jCvopWOXHpnlkgScO/LxdmtWESulYS3XUe2Vo45mQ0CA==","signature_status":"signed_v1","signed_at":"2026-05-18T03:07:14.073794Z","signed_message":"canonical_sha256_bytes"},"source_id":"1307.0550","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2ee5dc6242607155d0da6e62bf8277f7ba4f6f509bf1c4453d902e50e1c0c56d","sha256:0b2fb505edff048153e56a2375b01ea112412462c9073cdfb5155f2ddc762a76"],"state_sha256":"4eac59db214890f290860b241ca8d77b382e850f4acf8ec7a9211346d8581e5e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"YFM2JWAaOAV+MiwscwTEaoEjRHKKEdbAAHIefawTJZyzZR8bQzZNkbqrOiAtdUojt0EC9QedRENd2Af/XNnpDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-22T00:47:04.975910Z","bundle_sha256":"fc0faa6547b058a1f170bf22636e351f9505c474452920556bfc9eb656fea8b4"}}