{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:MRNNWIODFQIJ5T6F7NJ33W36JI","short_pith_number":"pith:MRNNWIOD","canonical_record":{"source":{"id":"1311.1722","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-11-07T15:58:59Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"9162e989d6d0beeceba8ccb11af4b6ac25b579704a7743d15783edeab58bb804","abstract_canon_sha256":"671297ff74c46bfdbcf0c23fc2987dcd048459378a14272a6a625086b4254f8f"},"schema_version":"1.0"},"canonical_sha256":"645adb21c32c109ecfc5fb53bddb7e4a218f68f559b4b40c40379a20e5537817","source":{"kind":"arxiv","id":"1311.1722","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1311.1722","created_at":"2026-05-18T03:07:43Z"},{"alias_kind":"arxiv_version","alias_value":"1311.1722v1","created_at":"2026-05-18T03:07:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1311.1722","created_at":"2026-05-18T03:07:43Z"},{"alias_kind":"pith_short_12","alias_value":"MRNNWIODFQIJ","created_at":"2026-05-18T12:27:52Z"},{"alias_kind":"pith_short_16","alias_value":"MRNNWIODFQIJ5T6F","created_at":"2026-05-18T12:27:52Z"},{"alias_kind":"pith_short_8","alias_value":"MRNNWIOD","created_at":"2026-05-18T12:27:52Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:MRNNWIODFQIJ5T6F7NJ33W36JI","target":"record","payload":{"canonical_record":{"source":{"id":"1311.1722","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-11-07T15:58:59Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"9162e989d6d0beeceba8ccb11af4b6ac25b579704a7743d15783edeab58bb804","abstract_canon_sha256":"671297ff74c46bfdbcf0c23fc2987dcd048459378a14272a6a625086b4254f8f"},"schema_version":"1.0"},"canonical_sha256":"645adb21c32c109ecfc5fb53bddb7e4a218f68f559b4b40c40379a20e5537817","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:07:43.511611Z","signature_b64":"8UWi+Rtku8rb+lkAE1cRq68QFEByq8fGhMaDNhzgSsqjuGfQHyXvzZxc0gjuaFqDk1idX4hI5T32GtpmsddNDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"645adb21c32c109ecfc5fb53bddb7e4a218f68f559b4b40c40379a20e5537817","last_reissued_at":"2026-05-18T03:07:43.510891Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:07:43.510891Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1311.1722","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:07:43Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"DC9sEm3yMWu7lU8wATsRYZ8sG+y0JCtd/pI0rS+mQlMJcAd+ujgp0FVycCTblyTqsmLnCghZN0Pd5Qej/SUEAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T21:07:49.457073Z"},"content_sha256":"1a6d71153f47bf68b74c3e415c36e8d78c24c336831d25396edfc6485e5c4771","schema_version":"1.0","event_id":"sha256:1a6d71153f47bf68b74c3e415c36e8d78c24c336831d25396edfc6485e5c4771"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:MRNNWIODFQIJ5T6F7NJ33W36JI","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"On Coinductive Equivalences for Higher-Order Probabilistic Functional Programs (Long Version)","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.PL","authors_text":"Davide Sangiorgi, Michele Alberti, Ugo Dal Lago","submitted_at":"2013-11-07T15:58:59Z","abstract_excerpt":"We study bisimulation and context equivalence in a probabilistic $\\lambda$-calculus. The contributions of this paper are threefold. Firstly we show a technique for proving congruence of probabilistic applicative bisimilarity. While the technique follows Howe's method, some of the technicalities are quite different, relying on non-trivial \"disentangling\" properties for sets of real numbers. Secondly we show that, while bisimilarity is in general strictly finer than context equivalence, coincidence between the two relations is attained on pure $\\lambda$-terms. The resulting equality is that indu"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1311.1722","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:07:43Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"isceqvoGdZnTUnwKZJpsg0iK3N/pU+La3xMUpd1tgvcTzBT7hvmZdYhkEbwV5cUJTYVuIHoDxaOE6Jn5P7JRDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T21:07:49.457443Z"},"content_sha256":"c2b95b24dd657cd96ba60c29f60ff2135f2df0427b2cd6c403e68d66ec920707","schema_version":"1.0","event_id":"sha256:c2b95b24dd657cd96ba60c29f60ff2135f2df0427b2cd6c403e68d66ec920707"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/MRNNWIODFQIJ5T6F7NJ33W36JI/bundle.json","state_url":"https://pith.science/pith/MRNNWIODFQIJ5T6F7NJ33W36JI/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/MRNNWIODFQIJ5T6F7NJ33W36JI/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-06-02T21:07:49Z","links":{"resolver":"https://pith.science/pith/MRNNWIODFQIJ5T6F7NJ33W36JI","bundle":"https://pith.science/pith/MRNNWIODFQIJ5T6F7NJ33W36JI/bundle.json","state":"https://pith.science/pith/MRNNWIODFQIJ5T6F7NJ33W36JI/state.json","well_known_bundle":"https://pith.science/.well-known/pith/MRNNWIODFQIJ5T6F7NJ33W36JI/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:MRNNWIODFQIJ5T6F7NJ33W36JI","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":"671297ff74c46bfdbcf0c23fc2987dcd048459378a14272a6a625086b4254f8f","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-11-07T15:58:59Z","title_canon_sha256":"9162e989d6d0beeceba8ccb11af4b6ac25b579704a7743d15783edeab58bb804"},"schema_version":"1.0","source":{"id":"1311.1722","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1311.1722","created_at":"2026-05-18T03:07:43Z"},{"alias_kind":"arxiv_version","alias_value":"1311.1722v1","created_at":"2026-05-18T03:07:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1311.1722","created_at":"2026-05-18T03:07:43Z"},{"alias_kind":"pith_short_12","alias_value":"MRNNWIODFQIJ","created_at":"2026-05-18T12:27:52Z"},{"alias_kind":"pith_short_16","alias_value":"MRNNWIODFQIJ5T6F","created_at":"2026-05-18T12:27:52Z"},{"alias_kind":"pith_short_8","alias_value":"MRNNWIOD","created_at":"2026-05-18T12:27:52Z"}],"graph_snapshots":[{"event_id":"sha256:c2b95b24dd657cd96ba60c29f60ff2135f2df0427b2cd6c403e68d66ec920707","target":"graph","created_at":"2026-05-18T03:07:43Z","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":"We study bisimulation and context equivalence in a probabilistic $\\lambda$-calculus. The contributions of this paper are threefold. Firstly we show a technique for proving congruence of probabilistic applicative bisimilarity. While the technique follows Howe's method, some of the technicalities are quite different, relying on non-trivial \"disentangling\" properties for sets of real numbers. Secondly we show that, while bisimilarity is in general strictly finer than context equivalence, coincidence between the two relations is attained on pure $\\lambda$-terms. The resulting equality is that indu","authors_text":"Davide Sangiorgi, Michele Alberti, Ugo Dal Lago","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-11-07T15:58:59Z","title":"On Coinductive Equivalences for Higher-Order Probabilistic Functional Programs (Long Version)"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1311.1722","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:1a6d71153f47bf68b74c3e415c36e8d78c24c336831d25396edfc6485e5c4771","target":"record","created_at":"2026-05-18T03:07:43Z","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":"671297ff74c46bfdbcf0c23fc2987dcd048459378a14272a6a625086b4254f8f","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-11-07T15:58:59Z","title_canon_sha256":"9162e989d6d0beeceba8ccb11af4b6ac25b579704a7743d15783edeab58bb804"},"schema_version":"1.0","source":{"id":"1311.1722","kind":"arxiv","version":1}},"canonical_sha256":"645adb21c32c109ecfc5fb53bddb7e4a218f68f559b4b40c40379a20e5537817","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"645adb21c32c109ecfc5fb53bddb7e4a218f68f559b4b40c40379a20e5537817","first_computed_at":"2026-05-18T03:07:43.510891Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:07:43.510891Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"8UWi+Rtku8rb+lkAE1cRq68QFEByq8fGhMaDNhzgSsqjuGfQHyXvzZxc0gjuaFqDk1idX4hI5T32GtpmsddNDQ==","signature_status":"signed_v1","signed_at":"2026-05-18T03:07:43.511611Z","signed_message":"canonical_sha256_bytes"},"source_id":"1311.1722","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1a6d71153f47bf68b74c3e415c36e8d78c24c336831d25396edfc6485e5c4771","sha256:c2b95b24dd657cd96ba60c29f60ff2135f2df0427b2cd6c403e68d66ec920707"],"state_sha256":"1334f4cd3f39d9b9ae0ae22729f8917bdf7fb69dcbad46dd4499098d11ee5920"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"A7qE0/V5O52wHiWKcnIYlwFUo9n+ynGQwmGVjSG5VwFDX8MbpqnlxFCUOKxjmLHUV8LDJIInsAqxkZLuvi+GBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T21:07:49.459413Z","bundle_sha256":"f04de485c8045d7b04fcb859198ba6a908ee7f206e1358d506095374d60a44db"}}