{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:XHQZFL2B73MQN7CQLBV5OMQMQD","short_pith_number":"pith:XHQZFL2B","canonical_record":{"source":{"id":"1207.7146","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-07-31T02:06:04Z","cross_cats_sorted":["quant-ph"],"title_canon_sha256":"f615765385a85cf9dd458e14ef91c8b8b413d2f88e2b5d96454849a6345d3e0a","abstract_canon_sha256":"c960f5302aa48cb2b6cad4d31db0e3292c18b9cbcdd75cbca2135d3f9190511d"},"schema_version":"1.0"},"canonical_sha256":"b9e192af41fed906fc50586bd7320c80f0bd3492a89b79046ce26ae1c685a4f5","source":{"kind":"arxiv","id":"1207.7146","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1207.7146","created_at":"2026-05-18T03:49:46Z"},{"alias_kind":"arxiv_version","alias_value":"1207.7146v1","created_at":"2026-05-18T03:49:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1207.7146","created_at":"2026-05-18T03:49:46Z"},{"alias_kind":"pith_short_12","alias_value":"XHQZFL2B73MQ","created_at":"2026-05-18T12:27:27Z"},{"alias_kind":"pith_short_16","alias_value":"XHQZFL2B73MQN7CQ","created_at":"2026-05-18T12:27:27Z"},{"alias_kind":"pith_short_8","alias_value":"XHQZFL2B","created_at":"2026-05-18T12:27:27Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:XHQZFL2B73MQN7CQLBV5OMQMQD","target":"record","payload":{"canonical_record":{"source":{"id":"1207.7146","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-07-31T02:06:04Z","cross_cats_sorted":["quant-ph"],"title_canon_sha256":"f615765385a85cf9dd458e14ef91c8b8b413d2f88e2b5d96454849a6345d3e0a","abstract_canon_sha256":"c960f5302aa48cb2b6cad4d31db0e3292c18b9cbcdd75cbca2135d3f9190511d"},"schema_version":"1.0"},"canonical_sha256":"b9e192af41fed906fc50586bd7320c80f0bd3492a89b79046ce26ae1c685a4f5","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:49:46.633387Z","signature_b64":"PaEj47gJYBcxY+f3rX3rDELJ+Wsvg9O8WrYfHMeILKPMgqlJ3W1Iq57e1EcsIyES566l/IEg+5RbN5LqP000BQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b9e192af41fed906fc50586bd7320c80f0bd3492a89b79046ce26ae1c685a4f5","last_reissued_at":"2026-05-18T03:49:46.632801Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:49:46.632801Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1207.7146","source_version":1,"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:49:46Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"J7cydPAtrqdlwDeUUs6MP4AuxS3TJM3//zR1nukEvzgrJVdI2Q/q2IvTd0cHmTovH3EkthaRBxSdIVLAms+0Dw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T03:55:30.196912Z"},"content_sha256":"a1e514ab2f26772fee54c02b684cb44c9091be348c860f6a00e41b49deeeeb69","schema_version":"1.0","event_id":"sha256:a1e514ab2f26772fee54c02b684cb44c9091be348c860f6a00e41b49deeeeb69"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:XHQZFL2B73MQN7CQLBV5OMQMQD","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Completeness of algebraic CPS simulations","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["quant-ph"],"primary_cat":"cs.LO","authors_text":"Ali Assaf (LIG, \\'Ecole polytechnique, France), LIG, Simon Perdrix (CNRS, Universit\\'e de Grenoble, Universit\\'e Joseh Fourier","submitted_at":"2012-07-31T02:06:04Z","abstract_excerpt":"The algebraic lambda calculus and the linear algebraic lambda calculus are two extensions of the classical lambda calculus with linear combinations of terms. They arise independently in distinct contexts: the former is a fragment of the differential lambda calculus, the latter is a candidate lambda calculus for quantum computation. They differ in the handling of application arguments and algebraic rules. The two languages can simulate each other using an algebraic extension of the well-known call-by-value and call-by-name CPS translations. These simulations are sound, in that they preserve red"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1207.7146","kind":"arxiv","version":1},"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:49:46Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"KodtwbiHFPpH9aZ3/D1M3LEfZlBpDJAdkxzwgAhqgWamzyp+JVTAqW8Ffw9Qy9sbF5szThTYeWOr7uJwJwRiBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T03:55:30.197440Z"},"content_sha256":"62751ae869d3d271bdaab31529e219c36004fe120c123abbf6a2ec1c01b38f0d","schema_version":"1.0","event_id":"sha256:62751ae869d3d271bdaab31529e219c36004fe120c123abbf6a2ec1c01b38f0d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/XHQZFL2B73MQN7CQLBV5OMQMQD/bundle.json","state_url":"https://pith.science/pith/XHQZFL2B73MQN7CQLBV5OMQMQD/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/XHQZFL2B73MQN7CQLBV5OMQMQD/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-27T03:55:30Z","links":{"resolver":"https://pith.science/pith/XHQZFL2B73MQN7CQLBV5OMQMQD","bundle":"https://pith.science/pith/XHQZFL2B73MQN7CQLBV5OMQMQD/bundle.json","state":"https://pith.science/pith/XHQZFL2B73MQN7CQLBV5OMQMQD/state.json","well_known_bundle":"https://pith.science/.well-known/pith/XHQZFL2B73MQN7CQLBV5OMQMQD/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:XHQZFL2B73MQN7CQLBV5OMQMQD","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":"c960f5302aa48cb2b6cad4d31db0e3292c18b9cbcdd75cbca2135d3f9190511d","cross_cats_sorted":["quant-ph"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-07-31T02:06:04Z","title_canon_sha256":"f615765385a85cf9dd458e14ef91c8b8b413d2f88e2b5d96454849a6345d3e0a"},"schema_version":"1.0","source":{"id":"1207.7146","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1207.7146","created_at":"2026-05-18T03:49:46Z"},{"alias_kind":"arxiv_version","alias_value":"1207.7146v1","created_at":"2026-05-18T03:49:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1207.7146","created_at":"2026-05-18T03:49:46Z"},{"alias_kind":"pith_short_12","alias_value":"XHQZFL2B73MQ","created_at":"2026-05-18T12:27:27Z"},{"alias_kind":"pith_short_16","alias_value":"XHQZFL2B73MQN7CQ","created_at":"2026-05-18T12:27:27Z"},{"alias_kind":"pith_short_8","alias_value":"XHQZFL2B","created_at":"2026-05-18T12:27:27Z"}],"graph_snapshots":[{"event_id":"sha256:62751ae869d3d271bdaab31529e219c36004fe120c123abbf6a2ec1c01b38f0d","target":"graph","created_at":"2026-05-18T03:49:46Z","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":"The algebraic lambda calculus and the linear algebraic lambda calculus are two extensions of the classical lambda calculus with linear combinations of terms. They arise independently in distinct contexts: the former is a fragment of the differential lambda calculus, the latter is a candidate lambda calculus for quantum computation. They differ in the handling of application arguments and algebraic rules. The two languages can simulate each other using an algebraic extension of the well-known call-by-value and call-by-name CPS translations. These simulations are sound, in that they preserve red","authors_text":"Ali Assaf (LIG, \\'Ecole polytechnique, France), LIG, Simon Perdrix (CNRS, Universit\\'e de Grenoble, Universit\\'e Joseh Fourier","cross_cats":["quant-ph"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-07-31T02:06:04Z","title":"Completeness of algebraic CPS simulations"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1207.7146","kind":"arxiv","version":1},"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:a1e514ab2f26772fee54c02b684cb44c9091be348c860f6a00e41b49deeeeb69","target":"record","created_at":"2026-05-18T03:49:46Z","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":"c960f5302aa48cb2b6cad4d31db0e3292c18b9cbcdd75cbca2135d3f9190511d","cross_cats_sorted":["quant-ph"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-07-31T02:06:04Z","title_canon_sha256":"f615765385a85cf9dd458e14ef91c8b8b413d2f88e2b5d96454849a6345d3e0a"},"schema_version":"1.0","source":{"id":"1207.7146","kind":"arxiv","version":1}},"canonical_sha256":"b9e192af41fed906fc50586bd7320c80f0bd3492a89b79046ce26ae1c685a4f5","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b9e192af41fed906fc50586bd7320c80f0bd3492a89b79046ce26ae1c685a4f5","first_computed_at":"2026-05-18T03:49:46.632801Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:49:46.632801Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"PaEj47gJYBcxY+f3rX3rDELJ+Wsvg9O8WrYfHMeILKPMgqlJ3W1Iq57e1EcsIyES566l/IEg+5RbN5LqP000BQ==","signature_status":"signed_v1","signed_at":"2026-05-18T03:49:46.633387Z","signed_message":"canonical_sha256_bytes"},"source_id":"1207.7146","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a1e514ab2f26772fee54c02b684cb44c9091be348c860f6a00e41b49deeeeb69","sha256:62751ae869d3d271bdaab31529e219c36004fe120c123abbf6a2ec1c01b38f0d"],"state_sha256":"787b787127448bbb4d0709d637253ee8dd23fe44a5fec988e72b8caebdb52e41"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FLr6y5O/j42yp9Jn9Ozuw3gc9GqZ/h5UB2opGv5LNXcS96+Tvz0DS7XLxHjM8lCrYtVoTZ0h7eL1ESYl7+8IBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-27T03:55:30.199902Z","bundle_sha256":"65b2bd0e3d50d9410d0f77590261e5ab2752a45b91098d560e1978ba93e919a5"}}