{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:IL3F4TLQ6G5VTMBBKMOOKNI25K","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":"39c6c78516b4e4057b83766fcad42d4a1a9d9253b76654c03efc7132d69282cd","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-02-11T01:20:10Z","title_canon_sha256":"d0b39dee3fa16a0ab97ed942e756cbe08f4ca4a5ea2f6d40a40aae0d26e4e7c4"},"schema_version":"1.0","source":{"id":"1602.03593","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1602.03593","created_at":"2026-05-18T01:20:58Z"},{"alias_kind":"arxiv_version","alias_value":"1602.03593v1","created_at":"2026-05-18T01:20:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1602.03593","created_at":"2026-05-18T01:20:58Z"},{"alias_kind":"pith_short_12","alias_value":"IL3F4TLQ6G5V","created_at":"2026-05-18T12:30:22Z"},{"alias_kind":"pith_short_16","alias_value":"IL3F4TLQ6G5VTMBB","created_at":"2026-05-18T12:30:22Z"},{"alias_kind":"pith_short_8","alias_value":"IL3F4TLQ","created_at":"2026-05-18T12:30:22Z"}],"graph_snapshots":[{"event_id":"sha256:1e9cf23ea58747ca0de85d1b06a7880b87661d68081a834b94f185f6ce0e6588","target":"graph","created_at":"2026-05-18T01:20:58Z","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 notion of subtyping has gained an important role both in theoretical and applicative domains: in lambda and concurrent calculi as well as in programming languages. The soundness and the completeness, together referred to as the preciseness of subtyping, can be considered from two different points of view:  operational and denotational. The former preciseness has been recently developed with respect to type safety, i.e. the safe replacement of a term of a smaller type when a term of a bigger type is expected. The latter preciseness is based on the denotation of a type which is a mathematica","authors_text":"Italy), Jovanka Pantovi\\'c (Univerzitet u Novom Sadu, Mariangiola Dezani-Ciancaglini (Universit\\`a di Torino, Nobuko Yoshida (Imperial College London, Serbia), Silvia Ghilezan (Univerzitet u Novom Sadu, Svetlana Jak\\v{s}i\\'c (Univerzitet u Novom Sadu, UK)","cross_cats":["cs.PL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-02-11T01:20:10Z","title":"Precise subtyping for synchronous multiparty sessions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1602.03593","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:19ec2261a6969e6a639485ed31cd5d1196efc461b6bd0c5bc40332d92a808241","target":"record","created_at":"2026-05-18T01:20:58Z","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":"39c6c78516b4e4057b83766fcad42d4a1a9d9253b76654c03efc7132d69282cd","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-02-11T01:20:10Z","title_canon_sha256":"d0b39dee3fa16a0ab97ed942e756cbe08f4ca4a5ea2f6d40a40aae0d26e4e7c4"},"schema_version":"1.0","source":{"id":"1602.03593","kind":"arxiv","version":1}},"canonical_sha256":"42f65e4d70f1bb59b021531ce5351aeab69f6be38c8288f4443e7ad4a2df9d91","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"42f65e4d70f1bb59b021531ce5351aeab69f6be38c8288f4443e7ad4a2df9d91","first_computed_at":"2026-05-18T01:20:58.388071Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:20:58.388071Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"d9wHEUATBo7AIARfmt7b9tqV2a91zO4kaES4Ria7ogLdJiugOlTOmkNJSPvmhtPyHYbAnVtaa7otkgLvFk4VCg==","signature_status":"signed_v1","signed_at":"2026-05-18T01:20:58.388586Z","signed_message":"canonical_sha256_bytes"},"source_id":"1602.03593","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:19ec2261a6969e6a639485ed31cd5d1196efc461b6bd0c5bc40332d92a808241","sha256:1e9cf23ea58747ca0de85d1b06a7880b87661d68081a834b94f185f6ce0e6588"],"state_sha256":"c0d38fda05d94c326ad9109775609bbebe8fc844279c931deec778299edb5803"}