{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2011:CPQ4DKYBF5AM36GCP3MSRVEDIB","short_pith_number":"pith:CPQ4DKYB","canonical_record":{"source":{"id":"1101.4424","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-01-24T01:39:22Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"93200dbb1dcf751e72efb3bb6808ad16f209f3fb6746af91b42fa77087b6c02c","abstract_canon_sha256":"8372aa16509e179dceb9e327f7dc0f04d6bf7150128711b5719ace32d3ae20c7"},"schema_version":"1.0"},"canonical_sha256":"13e1c1ab012f40cdf8c27ed928d483404ff3c75cde7cb4d483034d2b9e9b08c5","source":{"kind":"arxiv","id":"1101.4424","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1101.4424","created_at":"2026-05-18T04:31:11Z"},{"alias_kind":"arxiv_version","alias_value":"1101.4424v1","created_at":"2026-05-18T04:31:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1101.4424","created_at":"2026-05-18T04:31:11Z"},{"alias_kind":"pith_short_12","alias_value":"CPQ4DKYBF5AM","created_at":"2026-05-18T12:26:26Z"},{"alias_kind":"pith_short_16","alias_value":"CPQ4DKYBF5AM36GC","created_at":"2026-05-18T12:26:26Z"},{"alias_kind":"pith_short_8","alias_value":"CPQ4DKYB","created_at":"2026-05-18T12:26:26Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2011:CPQ4DKYBF5AM36GCP3MSRVEDIB","target":"record","payload":{"canonical_record":{"source":{"id":"1101.4424","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-01-24T01:39:22Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"93200dbb1dcf751e72efb3bb6808ad16f209f3fb6746af91b42fa77087b6c02c","abstract_canon_sha256":"8372aa16509e179dceb9e327f7dc0f04d6bf7150128711b5719ace32d3ae20c7"},"schema_version":"1.0"},"canonical_sha256":"13e1c1ab012f40cdf8c27ed928d483404ff3c75cde7cb4d483034d2b9e9b08c5","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:31:11.054410Z","signature_b64":"q3OHiho9W79qFV8sjFAfxBNj/CKQGWad9iiyVky5iHnprj4O2A2991cLsvJ893kYYBGI1NQrPHNIX7xKrT1vDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"13e1c1ab012f40cdf8c27ed928d483404ff3c75cde7cb4d483034d2b9e9b08c5","last_reissued_at":"2026-05-18T04:31:11.053699Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:31:11.053699Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1101.4424","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-18T04:31:11Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"SJRb+mKvcQAylXJs886z2F6f6vIeBUHFiFXuj/LAJtUo0P5cMNuzmx47pM9pyRfTSaRcuN12WbsjWUWJYTFaAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-18T22:37:07.900504Z"},"content_sha256":"a9ee8a70f405c3b0380f2e55d055199a2c04ae3ea5beb0f04beaf2749c0c1ff4","schema_version":"1.0","event_id":"sha256:a9ee8a70f405c3b0380f2e55d055199a2c04ae3ea5beb0f04beaf2749c0c1ff4"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2011:CPQ4DKYBF5AM36GCP3MSRVEDIB","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Intersection Logic in sequent calculus style","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"cs.LO","authors_text":"Alexis Saurin (Laboratoire CNR PPS, Anastasia Veneti (Department of Mathematics University of Athens Greece), Greece), INRIA Paris France), Simona Ronchi Della Rocca (Universita' di Torino Dipartimento di Informatica Torino Italy), University of Athens, Yiorgos Stavrinos (Department of Mathematics","submitted_at":"2011-01-24T01:39:22Z","abstract_excerpt":"The intersection type assignment system has been designed directly as deductive system for assigning formulae of the implicative and conjunctive fragment of the intuitionistic logic to terms of lambda-calculus. But its relation with the logic is not standard. Between all the logics that have been proposed as its foundation, we consider ISL, which gives a logical interpretation of the intersection by splitting the intuitionistic conjunction into two connectives, with a local and global behaviour respectively, being the intersection the local one. We think ISL is a logic interesting by itself, a"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1101.4424","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-18T04:31:11Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Wh7mRj4X8pafvzgUiYYaJe5SAewW8OtpS/18RMECkxIVmq+Z8dIJ2XvyelR5vJAdyt/nMl635YxdU/suop6KBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-18T22:37:07.901180Z"},"content_sha256":"ff79538359eb7d88dc30c1753e2835a390f2ee444ad31c46f9bc67b11ccf558f","schema_version":"1.0","event_id":"sha256:ff79538359eb7d88dc30c1753e2835a390f2ee444ad31c46f9bc67b11ccf558f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/CPQ4DKYBF5AM36GCP3MSRVEDIB/bundle.json","state_url":"https://pith.science/pith/CPQ4DKYBF5AM36GCP3MSRVEDIB/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/CPQ4DKYBF5AM36GCP3MSRVEDIB/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-18T22:37:07Z","links":{"resolver":"https://pith.science/pith/CPQ4DKYBF5AM36GCP3MSRVEDIB","bundle":"https://pith.science/pith/CPQ4DKYBF5AM36GCP3MSRVEDIB/bundle.json","state":"https://pith.science/pith/CPQ4DKYBF5AM36GCP3MSRVEDIB/state.json","well_known_bundle":"https://pith.science/.well-known/pith/CPQ4DKYBF5AM36GCP3MSRVEDIB/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:CPQ4DKYBF5AM36GCP3MSRVEDIB","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":"8372aa16509e179dceb9e327f7dc0f04d6bf7150128711b5719ace32d3ae20c7","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-01-24T01:39:22Z","title_canon_sha256":"93200dbb1dcf751e72efb3bb6808ad16f209f3fb6746af91b42fa77087b6c02c"},"schema_version":"1.0","source":{"id":"1101.4424","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1101.4424","created_at":"2026-05-18T04:31:11Z"},{"alias_kind":"arxiv_version","alias_value":"1101.4424v1","created_at":"2026-05-18T04:31:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1101.4424","created_at":"2026-05-18T04:31:11Z"},{"alias_kind":"pith_short_12","alias_value":"CPQ4DKYBF5AM","created_at":"2026-05-18T12:26:26Z"},{"alias_kind":"pith_short_16","alias_value":"CPQ4DKYBF5AM36GC","created_at":"2026-05-18T12:26:26Z"},{"alias_kind":"pith_short_8","alias_value":"CPQ4DKYB","created_at":"2026-05-18T12:26:26Z"}],"graph_snapshots":[{"event_id":"sha256:ff79538359eb7d88dc30c1753e2835a390f2ee444ad31c46f9bc67b11ccf558f","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":"The intersection type assignment system has been designed directly as deductive system for assigning formulae of the implicative and conjunctive fragment of the intuitionistic logic to terms of lambda-calculus. But its relation with the logic is not standard. Between all the logics that have been proposed as its foundation, we consider ISL, which gives a logical interpretation of the intersection by splitting the intuitionistic conjunction into two connectives, with a local and global behaviour respectively, being the intersection the local one. We think ISL is a logic interesting by itself, a","authors_text":"Alexis Saurin (Laboratoire CNR PPS, Anastasia Veneti (Department of Mathematics University of Athens Greece), Greece), INRIA Paris France), Simona Ronchi Della Rocca (Universita' di Torino Dipartimento di Informatica Torino Italy), University of Athens, Yiorgos Stavrinos (Department of Mathematics","cross_cats":["cs.PL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-01-24T01:39:22Z","title":"Intersection Logic in sequent calculus style"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1101.4424","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:a9ee8a70f405c3b0380f2e55d055199a2c04ae3ea5beb0f04beaf2749c0c1ff4","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":"8372aa16509e179dceb9e327f7dc0f04d6bf7150128711b5719ace32d3ae20c7","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-01-24T01:39:22Z","title_canon_sha256":"93200dbb1dcf751e72efb3bb6808ad16f209f3fb6746af91b42fa77087b6c02c"},"schema_version":"1.0","source":{"id":"1101.4424","kind":"arxiv","version":1}},"canonical_sha256":"13e1c1ab012f40cdf8c27ed928d483404ff3c75cde7cb4d483034d2b9e9b08c5","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"13e1c1ab012f40cdf8c27ed928d483404ff3c75cde7cb4d483034d2b9e9b08c5","first_computed_at":"2026-05-18T04:31:11.053699Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:31:11.053699Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"q3OHiho9W79qFV8sjFAfxBNj/CKQGWad9iiyVky5iHnprj4O2A2991cLsvJ893kYYBGI1NQrPHNIX7xKrT1vDA==","signature_status":"signed_v1","signed_at":"2026-05-18T04:31:11.054410Z","signed_message":"canonical_sha256_bytes"},"source_id":"1101.4424","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a9ee8a70f405c3b0380f2e55d055199a2c04ae3ea5beb0f04beaf2749c0c1ff4","sha256:ff79538359eb7d88dc30c1753e2835a390f2ee444ad31c46f9bc67b11ccf558f"],"state_sha256":"bd72cc48719bf85121ba6b7e8c27e3c9d3838ebbd12acf8bf4c5c083d277553e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"nREkHylyTNoqQ28PGlYM4/6oy56JFxmciW+9zlUL/TmXwOJDOZSmw9yiTwnAncyWCXWzNRmlw8h4V7w3jnhbBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-18T22:37:07.903164Z","bundle_sha256":"fc6bae3b9370aee4b27ca3a08626f9a4466345a0ea59d33afa25b0c0e937dac5"}}