{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2008:PHI6F7FCS62P224GI57L5YONBI","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":"774152574f3f7857a956ce20f7c3d4a2db6bba656094bc8b550fa321068b785e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2008-09-01T09:46:36Z","title_canon_sha256":"0f29d5ab1b483ede2d5303d8a9e09bf9d1d1ac38caf5dcf0dfb473d7f053f6cf"},"schema_version":"1.0","source":{"id":"0809.0195","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"0809.0195","created_at":"2026-05-18T01:37:42Z"},{"alias_kind":"arxiv_version","alias_value":"0809.0195v2","created_at":"2026-05-18T01:37:42Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0809.0195","created_at":"2026-05-18T01:37:42Z"},{"alias_kind":"pith_short_12","alias_value":"PHI6F7FCS62P","created_at":"2026-05-18T12:25:57Z"},{"alias_kind":"pith_short_16","alias_value":"PHI6F7FCS62P224G","created_at":"2026-05-18T12:25:57Z"},{"alias_kind":"pith_short_8","alias_value":"PHI6F7FC","created_at":"2026-05-18T12:25:57Z"}],"graph_snapshots":[{"event_id":"sha256:b8172eb9f62bafa706aaaf482e330271779adfae5b2927fcc1579ace559558bd","target":"graph","created_at":"2026-05-18T01:37:42Z","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 so-called light logics have been introduced as logical systems enjoying quite remarkable normalization properties. Designing a type assignment system for pure lambda calculus from these logics, however, is problematic. In this paper we show that shifting from usual call-by-name to call-by-value lambda calculus allows regaining strong connections with the underlying logic. This will be done in the context of Elementary Affine Logic (EAL), designing a type system in natural deduction style assigning EAL formulae to lambda terms.","authors_text":"Paolo Coppola, Simona Ronchi Della Rocca, Ugo Dal Lago","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2008-09-01T09:46:36Z","title":"Light Logics and the Call-by-Value Lambda Calculus"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0809.0195","kind":"arxiv","version":2},"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:d097829e8295ee6a2f6a1cf1666c5fff5d075083a87e36e45c8ec5e2f923b1ca","target":"record","created_at":"2026-05-18T01:37:42Z","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":"774152574f3f7857a956ce20f7c3d4a2db6bba656094bc8b550fa321068b785e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2008-09-01T09:46:36Z","title_canon_sha256":"0f29d5ab1b483ede2d5303d8a9e09bf9d1d1ac38caf5dcf0dfb473d7f053f6cf"},"schema_version":"1.0","source":{"id":"0809.0195","kind":"arxiv","version":2}},"canonical_sha256":"79d1e2fca297b4fd6b86477ebee1cd0a10b7fc98f61b67cbe92e2dcc03635725","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"79d1e2fca297b4fd6b86477ebee1cd0a10b7fc98f61b67cbe92e2dcc03635725","first_computed_at":"2026-05-18T01:37:42.329477Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:37:42.329477Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"T42+ot6dK5v4vyjuDI86HL1FZXCjYRmlNd2HHBXTCS1Wtse8UooCplku8a93Q5ppx60Gf2gaLe3ED1KN0jBhDA==","signature_status":"signed_v1","signed_at":"2026-05-18T01:37:42.330074Z","signed_message":"canonical_sha256_bytes"},"source_id":"0809.0195","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d097829e8295ee6a2f6a1cf1666c5fff5d075083a87e36e45c8ec5e2f923b1ca","sha256:b8172eb9f62bafa706aaaf482e330271779adfae5b2927fcc1579ace559558bd"],"state_sha256":"33016ce30cea2351b531d8fbbdc734e1e272e029f0df1160dded5fd596d2a7df"}