{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:QNCGAHDIW2P6TQF5T22MA7TCJO","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":"23645e26993ce1dfa7a4b8af76b410f059c9a397d848ea088872c9d38b9d6352","cross_cats_sorted":["cs.CC","cs.PL","cs.SC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-04-12T11:29:34Z","title_canon_sha256":"c3f493f246a4bba1b239cce887bdbbe80e776667d1c8e54aef9c8eb260101359"},"schema_version":"1.0","source":{"id":"1904.06159","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1904.06159","created_at":"2026-05-17T23:48:43Z"},{"alias_kind":"arxiv_version","alias_value":"1904.06159v1","created_at":"2026-05-17T23:48:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1904.06159","created_at":"2026-05-17T23:48:43Z"},{"alias_kind":"pith_short_12","alias_value":"QNCGAHDIW2P6","created_at":"2026-05-18T12:33:27Z"},{"alias_kind":"pith_short_16","alias_value":"QNCGAHDIW2P6TQF5","created_at":"2026-05-18T12:33:27Z"},{"alias_kind":"pith_short_8","alias_value":"QNCGAHDI","created_at":"2026-05-18T12:33:27Z"}],"graph_snapshots":[{"event_id":"sha256:9ec80a4bbf6793de27985bd23eb8333e1055ad2c5b7de02ebf2a8314b01b79d5","target":"graph","created_at":"2026-05-17T23:48:43Z","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":"This volume contains a selection of papers presented at Linearity/TLLA 2018: Joint Linearity and TLLA workshops (part of FLOC 2018) held on July 7-8, 2018 in Oxford. Linearity has been a key feature in several lines of research in both theoretical and practical approaches to computer science. On the theoretical side there is much work stemming from linear logic dealing with proof technology, complexity classes and more recently quantum computation. On the practical side there is work on program analysis, expressive operational semantics for programming languages, linear programming languages, ","authors_text":"Lorenzo Tortora de Falco, Maribel Fern\\'andez, Thomas Ehrhard, Valeria de Paiva","cross_cats":["cs.CC","cs.PL","cs.SC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-04-12T11:29:34Z","title":"Proceedings Joint International Workshop on Linearity & Trends in Linear Logic and Applications"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1904.06159","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:01ec3d12f2f6e8817f454b4e7b2b268e4cc4d873816c74c0dd3b71797bf49cab","target":"record","created_at":"2026-05-17T23:48:43Z","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":"23645e26993ce1dfa7a4b8af76b410f059c9a397d848ea088872c9d38b9d6352","cross_cats_sorted":["cs.CC","cs.PL","cs.SC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-04-12T11:29:34Z","title_canon_sha256":"c3f493f246a4bba1b239cce887bdbbe80e776667d1c8e54aef9c8eb260101359"},"schema_version":"1.0","source":{"id":"1904.06159","kind":"arxiv","version":1}},"canonical_sha256":"8344601c68b69fe9c0bd9eb4c07e624b8e98392f8c96b2572c624cf66c12ff39","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8344601c68b69fe9c0bd9eb4c07e624b8e98392f8c96b2572c624cf66c12ff39","first_computed_at":"2026-05-17T23:48:43.926401Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:48:43.926401Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"3DkG6c8tYvskiA+RMKsKFfLzSLS9a5fG0BM5h1gDjBipF/k1Cqg29DgJx6rxBFqv2eY+Xbb3gvh3XJN+8tcQBQ==","signature_status":"signed_v1","signed_at":"2026-05-17T23:48:43.926873Z","signed_message":"canonical_sha256_bytes"},"source_id":"1904.06159","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:01ec3d12f2f6e8817f454b4e7b2b268e4cc4d873816c74c0dd3b71797bf49cab","sha256:9ec80a4bbf6793de27985bd23eb8333e1055ad2c5b7de02ebf2a8314b01b79d5"],"state_sha256":"ab7067d2a3811562cd03defd3ba8458e634101aadd1feda196b2e40f3551ce9a"}