{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:LLDTVVAFDKECKNCTKVFHJD4WHL","short_pith_number":"pith:LLDTVVAF","canonical_record":{"source":{"id":"1904.10108","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-04-23T00:54:34Z","cross_cats_sorted":[],"title_canon_sha256":"340efba8b49356b7265648424aba99cce60c70d2c8c16c3ae14a2e11d9f3b0f9","abstract_canon_sha256":"63af069791369d86b45c8a63e238305c42556d386755700152cd2b1e179d4e8f"},"schema_version":"1.0"},"canonical_sha256":"5ac73ad4051a88253453554a748f963afdd990f1d3a68078f50e1d0176d60819","source":{"kind":"arxiv","id":"1904.10108","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1904.10108","created_at":"2026-05-17T23:47:55Z"},{"alias_kind":"arxiv_version","alias_value":"1904.10108v1","created_at":"2026-05-17T23:47:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1904.10108","created_at":"2026-05-17T23:47:55Z"},{"alias_kind":"pith_short_12","alias_value":"LLDTVVAFDKEC","created_at":"2026-05-18T12:33:21Z"},{"alias_kind":"pith_short_16","alias_value":"LLDTVVAFDKECKNCT","created_at":"2026-05-18T12:33:21Z"},{"alias_kind":"pith_short_8","alias_value":"LLDTVVAF","created_at":"2026-05-18T12:33:21Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:LLDTVVAFDKECKNCTKVFHJD4WHL","target":"record","payload":{"canonical_record":{"source":{"id":"1904.10108","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-04-23T00:54:34Z","cross_cats_sorted":[],"title_canon_sha256":"340efba8b49356b7265648424aba99cce60c70d2c8c16c3ae14a2e11d9f3b0f9","abstract_canon_sha256":"63af069791369d86b45c8a63e238305c42556d386755700152cd2b1e179d4e8f"},"schema_version":"1.0"},"canonical_sha256":"5ac73ad4051a88253453554a748f963afdd990f1d3a68078f50e1d0176d60819","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:47:55.084370Z","signature_b64":"SqsxuDpd6e/HQ3KJqlvA7c8pH/BBPxW1BeOr6vlyE3vfMaWwT79VU9wF2ykUuihLT+iFDi06SsXi8AD9l7oUCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5ac73ad4051a88253453554a748f963afdd990f1d3a68078f50e1d0176d60819","last_reissued_at":"2026-05-17T23:47:55.083779Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:47:55.083779Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1904.10108","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-17T23:47:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"UBqWpoaEKpkwjgtiahF9yPCLTKWLgjEUdE8lGm5RVi5cHQw31rNwyec02oSMVxJmcszp2tP0DEFxPz3QMToODA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-29T15:55:31.078723Z"},"content_sha256":"70dd2c8e902b0a94acdbe4d0212914619d2f69f99dd6ba9c698c65c1f159f5ef","schema_version":"1.0","event_id":"sha256:70dd2c8e902b0a94acdbe4d0212914619d2f69f99dd6ba9c698c65c1f159f5ef"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:LLDTVVAFDKECKNCTKVFHJD4WHL","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Intersection Subtyping with Constructors","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"CNRS, EnsL, F-69342, France), LIP, LYON Cedex 07, Olivier Laurent (Univ Lyon, UCBL","submitted_at":"2019-04-23T00:54:34Z","abstract_excerpt":"We study the question of extending the BCD intersection type system with additional type constructors. On the typing side, we focus on adding the usual rules for product types. On the subtyping side, we consider a generic way of defining a subtyping relation on families of types which include intersection types. We find back the BCD subtyping relation by considering the particular case where the type constructors are intersection, omega and arrow. We obtain an extension of BCD subtyping to product types as another instance. We show how the preservation of typing by both reduction and expansion"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1904.10108","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-17T23:47:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gY0KJRfkj27K9tdKf4o74VGdh+1jInbBfnX4qcMhWozir1KeeO5pFoYuYAavwuoBOFyDXgjNpEbaQz+Un3tmAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-29T15:55:31.079061Z"},"content_sha256":"427e8df55c35f4b59fa1e1430007caad523bc3ac86f3b5511649bf3122f538e5","schema_version":"1.0","event_id":"sha256:427e8df55c35f4b59fa1e1430007caad523bc3ac86f3b5511649bf3122f538e5"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/LLDTVVAFDKECKNCTKVFHJD4WHL/bundle.json","state_url":"https://pith.science/pith/LLDTVVAFDKECKNCTKVFHJD4WHL/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/LLDTVVAFDKECKNCTKVFHJD4WHL/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-29T15:55:31Z","links":{"resolver":"https://pith.science/pith/LLDTVVAFDKECKNCTKVFHJD4WHL","bundle":"https://pith.science/pith/LLDTVVAFDKECKNCTKVFHJD4WHL/bundle.json","state":"https://pith.science/pith/LLDTVVAFDKECKNCTKVFHJD4WHL/state.json","well_known_bundle":"https://pith.science/.well-known/pith/LLDTVVAFDKECKNCTKVFHJD4WHL/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:LLDTVVAFDKECKNCTKVFHJD4WHL","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":"63af069791369d86b45c8a63e238305c42556d386755700152cd2b1e179d4e8f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-04-23T00:54:34Z","title_canon_sha256":"340efba8b49356b7265648424aba99cce60c70d2c8c16c3ae14a2e11d9f3b0f9"},"schema_version":"1.0","source":{"id":"1904.10108","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1904.10108","created_at":"2026-05-17T23:47:55Z"},{"alias_kind":"arxiv_version","alias_value":"1904.10108v1","created_at":"2026-05-17T23:47:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1904.10108","created_at":"2026-05-17T23:47:55Z"},{"alias_kind":"pith_short_12","alias_value":"LLDTVVAFDKEC","created_at":"2026-05-18T12:33:21Z"},{"alias_kind":"pith_short_16","alias_value":"LLDTVVAFDKECKNCT","created_at":"2026-05-18T12:33:21Z"},{"alias_kind":"pith_short_8","alias_value":"LLDTVVAF","created_at":"2026-05-18T12:33:21Z"}],"graph_snapshots":[{"event_id":"sha256:427e8df55c35f4b59fa1e1430007caad523bc3ac86f3b5511649bf3122f538e5","target":"graph","created_at":"2026-05-17T23:47:55Z","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 the question of extending the BCD intersection type system with additional type constructors. On the typing side, we focus on adding the usual rules for product types. On the subtyping side, we consider a generic way of defining a subtyping relation on families of types which include intersection types. We find back the BCD subtyping relation by considering the particular case where the type constructors are intersection, omega and arrow. We obtain an extension of BCD subtyping to product types as another instance. We show how the preservation of typing by both reduction and expansion","authors_text":"CNRS, EnsL, F-69342, France), LIP, LYON Cedex 07, Olivier Laurent (Univ Lyon, UCBL","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-04-23T00:54:34Z","title":"Intersection Subtyping with Constructors"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1904.10108","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:70dd2c8e902b0a94acdbe4d0212914619d2f69f99dd6ba9c698c65c1f159f5ef","target":"record","created_at":"2026-05-17T23:47:55Z","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":"63af069791369d86b45c8a63e238305c42556d386755700152cd2b1e179d4e8f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-04-23T00:54:34Z","title_canon_sha256":"340efba8b49356b7265648424aba99cce60c70d2c8c16c3ae14a2e11d9f3b0f9"},"schema_version":"1.0","source":{"id":"1904.10108","kind":"arxiv","version":1}},"canonical_sha256":"5ac73ad4051a88253453554a748f963afdd990f1d3a68078f50e1d0176d60819","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5ac73ad4051a88253453554a748f963afdd990f1d3a68078f50e1d0176d60819","first_computed_at":"2026-05-17T23:47:55.083779Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:47:55.083779Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"SqsxuDpd6e/HQ3KJqlvA7c8pH/BBPxW1BeOr6vlyE3vfMaWwT79VU9wF2ykUuihLT+iFDi06SsXi8AD9l7oUCw==","signature_status":"signed_v1","signed_at":"2026-05-17T23:47:55.084370Z","signed_message":"canonical_sha256_bytes"},"source_id":"1904.10108","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:70dd2c8e902b0a94acdbe4d0212914619d2f69f99dd6ba9c698c65c1f159f5ef","sha256:427e8df55c35f4b59fa1e1430007caad523bc3ac86f3b5511649bf3122f538e5"],"state_sha256":"15b2e6ecacb4eece6d3c43e5d0db33185ad5370f0f5bdf7c2d65ce32c0742293"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qQ6thj82xPcHWGYc8tEM3lK7DZdTs4B73QB81dYBi9MDkjzXSFpSh7MSRfWx6kN1XZhjo1LJJbqX988HPS3wAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-29T15:55:31.080995Z","bundle_sha256":"568f03b2aeaa49394c5fa45f8ef08bffcd01619536e3a1cb2eb209eec4d8bda0"}}