{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:C5DEXZLFUP2G44BWDRJZI2QKLK","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":"816a264cb43d9de9a2309250429572754d78153112f34dba39d6e4f58786967d","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-01-24T01:39:37Z","title_canon_sha256":"680033df11cb5a6f9c4531e63e0f83987657910784d2d9f24f80071fc03bd7ed"},"schema_version":"1.0","source":{"id":"1101.4426","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1101.4426","created_at":"2026-05-18T04:31:11Z"},{"alias_kind":"arxiv_version","alias_value":"1101.4426v1","created_at":"2026-05-18T04:31:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1101.4426","created_at":"2026-05-18T04:31:11Z"},{"alias_kind":"pith_short_12","alias_value":"C5DEXZLFUP2G","created_at":"2026-05-18T12:26:24Z"},{"alias_kind":"pith_short_16","alias_value":"C5DEXZLFUP2G44BW","created_at":"2026-05-18T12:26:24Z"},{"alias_kind":"pith_short_8","alias_value":"C5DEXZLF","created_at":"2026-05-18T12:26:24Z"}],"graph_snapshots":[{"event_id":"sha256:76484ee5560ef9fdc0fb69b00497a0bd15dcad0f8a7ad4931cb5f8164d7c7cda","target":"graph","created_at":"2026-05-18T04:31:11Z","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 define a type system with intersection types for an extension of lambda-calculus with unbind and rebind operators. In this calculus, a term with free variables, representing open code, can be packed into an \"unbound\" term, and passed around as a value. In order to execute inside code, an unbound term should be explicitly rebound at the point where it is used. Unbinding and rebinding are hierarchical, that is, the term can contain arbitrarily nested unbound terms, whose inside code can only be executed after a sequence of rebinds has been applied. Correspondingly, types are decorated with le","authors_text":"Elena Zucca, Mariangiola Dezani-Ciancaglini, Paola Giannini","cross_cats":["cs.PL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-01-24T01:39:37Z","title":"Intersection types for unbind and rebind"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1101.4426","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:629c95a349cda33545bac3c7a0a545ac39f40c4a32789f72fbb27ba9137b81fe","target":"record","created_at":"2026-05-18T04:31:11Z","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":"816a264cb43d9de9a2309250429572754d78153112f34dba39d6e4f58786967d","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-01-24T01:39:37Z","title_canon_sha256":"680033df11cb5a6f9c4531e63e0f83987657910784d2d9f24f80071fc03bd7ed"},"schema_version":"1.0","source":{"id":"1101.4426","kind":"arxiv","version":1}},"canonical_sha256":"17464be565a3f46e70361c53946a0a5a902b30db624e6291f83d51fe9bcb2f9b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"17464be565a3f46e70361c53946a0a5a902b30db624e6291f83d51fe9bcb2f9b","first_computed_at":"2026-05-18T04:31:11.038726Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:31:11.038726Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"MzVVED9JFosHV3v3zgIGp44CbaNbEAOXBKaNn/puR6CGezlfYuM+pHBRidC4OsXSpbzjBvz5q0dnfsTw5hS6Cw==","signature_status":"signed_v1","signed_at":"2026-05-18T04:31:11.039422Z","signed_message":"canonical_sha256_bytes"},"source_id":"1101.4426","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:629c95a349cda33545bac3c7a0a545ac39f40c4a32789f72fbb27ba9137b81fe","sha256:76484ee5560ef9fdc0fb69b00497a0bd15dcad0f8a7ad4931cb5f8164d7c7cda"],"state_sha256":"db3ec5ec200cf2e522f85391989e8f6b9a7720480705f0317fcc615402e259e2"}