{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:QQYEBDOY4ASSOB5M3WJ3R6VDMI","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":"1ff8923fb492cea57cd2a65dc4fde69a8610339f8a9e04f58eeee92a775308a8","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-06-01T13:31:34Z","title_canon_sha256":"02a323defb89df8d2d118c0f1ba7a1f56f32711968de6f2a0bb7e053e51ec329"},"schema_version":"1.0","source":{"id":"1606.00280","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1606.00280","created_at":"2026-05-18T01:13:05Z"},{"alias_kind":"arxiv_version","alias_value":"1606.00280v1","created_at":"2026-05-18T01:13:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1606.00280","created_at":"2026-05-18T01:13:05Z"},{"alias_kind":"pith_short_12","alias_value":"QQYEBDOY4ASS","created_at":"2026-05-18T12:30:41Z"},{"alias_kind":"pith_short_16","alias_value":"QQYEBDOY4ASSOB5M","created_at":"2026-05-18T12:30:41Z"},{"alias_kind":"pith_short_8","alias_value":"QQYEBDOY","created_at":"2026-05-18T12:30:41Z"}],"graph_snapshots":[{"event_id":"sha256:a464592d3fecaca46e433e3004df4317a768a74bf25e4520fada87872c38e466","target":"graph","created_at":"2026-05-18T01:13:05Z","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":"Relational semantics for linear logic is a form of non-idempotent intersection type system, from which several informations on the execution of a proof-structure can be recovered. An element of the relational interpretation of a proof-structure R with conclusion $\\Gamma$ acts thus as a type (refining $\\Gamma$) having R as an inhabitant. We are interested in the following type-checking question: given a proof-structure R, a list of formulae $\\Gamma$, and a point x in the relational interpretation of $\\Gamma$, is x in the interpretation of R? This question is decidable. We present here an algori","authors_text":"Giulio Guerrieri (I2M), Lorenzo Tortora de Falco, Luc Pellissier (LIPN)","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-06-01T13:31:34Z","title":"Relational type-checking for MELL proof-structures. Part 1: Multiplicatives"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1606.00280","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:baa3cd1fe828ecc868ea31b748ab2dce4e417a030d82bfb8add3fc730f288db3","target":"record","created_at":"2026-05-18T01:13:05Z","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":"1ff8923fb492cea57cd2a65dc4fde69a8610339f8a9e04f58eeee92a775308a8","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-06-01T13:31:34Z","title_canon_sha256":"02a323defb89df8d2d118c0f1ba7a1f56f32711968de6f2a0bb7e053e51ec329"},"schema_version":"1.0","source":{"id":"1606.00280","kind":"arxiv","version":1}},"canonical_sha256":"8430408dd8e0252707acdd93b8faa36217b9da2ae275c56b2098a8b0f464604e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8430408dd8e0252707acdd93b8faa36217b9da2ae275c56b2098a8b0f464604e","first_computed_at":"2026-05-18T01:13:05.611131Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:13:05.611131Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"PeiVgSxvnJnj3XYsV/b2RijyUDqELw+QfExE0XdsjqawlJfYqOUOQluCbHY6+1xZl+URfmHPaS8OhyCsm9zFCw==","signature_status":"signed_v1","signed_at":"2026-05-18T01:13:05.611527Z","signed_message":"canonical_sha256_bytes"},"source_id":"1606.00280","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:baa3cd1fe828ecc868ea31b748ab2dce4e417a030d82bfb8add3fc730f288db3","sha256:a464592d3fecaca46e433e3004df4317a768a74bf25e4520fada87872c38e466"],"state_sha256":"35d6265da462de0549c1a366d9ab13482eb73a3297f91fb878c9375bb721e5fb"}