{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:BS3AEESDIDKJ2GOTTZZAAWCDMN","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":"2b5d24b7364d28a86af17e738c411ec72065088bb75a2aed3b6a5f066e631a3d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-05-14T07:13:58Z","title_canon_sha256":"2ed91c1b5f08dee5f63b1e5426b7017897d09c4672c6070f52a7be4c5c75ae0e"},"schema_version":"1.0","source":{"id":"1505.03638","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1505.03638","created_at":"2026-05-18T02:09:53Z"},{"alias_kind":"arxiv_version","alias_value":"1505.03638v1","created_at":"2026-05-18T02:09:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1505.03638","created_at":"2026-05-18T02:09:53Z"},{"alias_kind":"pith_short_12","alias_value":"BS3AEESDIDKJ","created_at":"2026-05-18T12:29:14Z"},{"alias_kind":"pith_short_16","alias_value":"BS3AEESDIDKJ2GOT","created_at":"2026-05-18T12:29:14Z"},{"alias_kind":"pith_short_8","alias_value":"BS3AEESD","created_at":"2026-05-18T12:29:14Z"}],"graph_snapshots":[{"event_id":"sha256:09d539e975c69bddc527fc655d5fea1698d470ac1a90cced1b4b83b1ece8d876","target":"graph","created_at":"2026-05-18T02:09:53Z","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":"Terms of Church's $\\lambda$-calculus can be considered equivalent along many different definitions, but context equivalence is certainly the most direct and universally accepted one. If the underlying calculus becomes probabilistic, however, equivalence is too discriminating: terms which have totally unrelated behaviours are treated the same as terms which behave very similarly. We study the problem of evaluating the distance between affine $\\lambda$-terms. The most natural definition for it, namely a natural generalisation of context equivalence, is shown to be characterised by a notion of tr","authors_text":"Rapha\\\"elle Crubill\\'e, Ugo Dal Lago","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-05-14T07:13:58Z","title":"Metric Reasoning about $\\lambda$-Terms: the Affine Case (Long Version)"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1505.03638","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:bce3489f6a5209ccc4f3c2ac85054f3698ef57c1da1911efe226755f50fb0763","target":"record","created_at":"2026-05-18T02:09:53Z","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":"2b5d24b7364d28a86af17e738c411ec72065088bb75a2aed3b6a5f066e631a3d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-05-14T07:13:58Z","title_canon_sha256":"2ed91c1b5f08dee5f63b1e5426b7017897d09c4672c6070f52a7be4c5c75ae0e"},"schema_version":"1.0","source":{"id":"1505.03638","kind":"arxiv","version":1}},"canonical_sha256":"0cb602124340d49d19d39e72005843636a443137ed821c5d4bf647683b1ef5e3","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0cb602124340d49d19d39e72005843636a443137ed821c5d4bf647683b1ef5e3","first_computed_at":"2026-05-18T02:09:53.471902Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:09:53.471902Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"nfZeB9o7bKltylvSgBcv7Kr1rmz75JAf2jhoQbe90IPC8tIZyQSXduFw6Z7LFY4u3jELO7AohKoGw6PcpYGXCA==","signature_status":"signed_v1","signed_at":"2026-05-18T02:09:53.472547Z","signed_message":"canonical_sha256_bytes"},"source_id":"1505.03638","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:bce3489f6a5209ccc4f3c2ac85054f3698ef57c1da1911efe226755f50fb0763","sha256:09d539e975c69bddc527fc655d5fea1698d470ac1a90cced1b4b83b1ece8d876"],"state_sha256":"80a03541acd1186899c9864a879da08ba6729c4dcc2843f446c8dfb6f9c7ae06"}