{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:5J3ATCIHXCKHPH6YXL2BORHA3O","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":"f2c37ba31c024e847ed2df2fb0541743927055ab488d99ee2d4933244d3ca405","cross_cats_sorted":["cs.LO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2017-07-12T15:28:23Z","title_canon_sha256":"6c87c89b7505da8210fd448ecd6fb8d3a41879a1209b09e83ec78e1fe5b9cf50"},"schema_version":"1.0","source":{"id":"1707.03762","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1707.03762","created_at":"2026-05-18T00:32:20Z"},{"alias_kind":"arxiv_version","alias_value":"1707.03762v4","created_at":"2026-05-18T00:32:20Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1707.03762","created_at":"2026-05-18T00:32:20Z"},{"alias_kind":"pith_short_12","alias_value":"5J3ATCIHXCKH","created_at":"2026-05-18T12:31:00Z"},{"alias_kind":"pith_short_16","alias_value":"5J3ATCIHXCKHPH6Y","created_at":"2026-05-18T12:31:00Z"},{"alias_kind":"pith_short_8","alias_value":"5J3ATCIH","created_at":"2026-05-18T12:31:00Z"}],"graph_snapshots":[{"event_id":"sha256:61baeccf406baaaf73f0c49af522b3df93001fed514c6f35a6bf3ad9ebd60933","target":"graph","created_at":"2026-05-18T00:32:20Z","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":"Operational semantics have been enormously successful, in large part due to its flexibility and simplicity, but they are not compositional. Denotational semantics, on the other hand, are compositional but the lattice-theoretic models are complex and difficult to scale to large languages. However, there are elementary models of the $\\lambda$-calculus that are much less complex: by Coppo, Dezani-Ciancaglini, and Salle (1979), Engeler (1981), and Plotkin (1993).\n  This paper takes first steps toward answering the question: can elementary models be good for the day-to-day work of language specific","authors_text":"Jeremy G. Siek","cross_cats":["cs.LO"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2017-07-12T15:28:23Z","title":"Revisiting Elementary Denotational Semantics"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1707.03762","kind":"arxiv","version":4},"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:b3e20aedffd26df09ea39d2a975016c747df56b9c0f83b566b0475cb22bd18f8","target":"record","created_at":"2026-05-18T00:32:20Z","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":"f2c37ba31c024e847ed2df2fb0541743927055ab488d99ee2d4933244d3ca405","cross_cats_sorted":["cs.LO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2017-07-12T15:28:23Z","title_canon_sha256":"6c87c89b7505da8210fd448ecd6fb8d3a41879a1209b09e83ec78e1fe5b9cf50"},"schema_version":"1.0","source":{"id":"1707.03762","kind":"arxiv","version":4}},"canonical_sha256":"ea76098907b894779fd8baf41744e0db8784475867a474609eeadb2fef06badd","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ea76098907b894779fd8baf41744e0db8784475867a474609eeadb2fef06badd","first_computed_at":"2026-05-18T00:32:20.342375Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:32:20.342375Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Wee6sHBVfvnbkeTMtzXIxXQ7uZ+HEynBa07xGaV1UPQgNOzPABzt1ZqIzeTYGPULbVObOUAmUvhNPNfdjXdzBQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:32:20.342970Z","signed_message":"canonical_sha256_bytes"},"source_id":"1707.03762","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b3e20aedffd26df09ea39d2a975016c747df56b9c0f83b566b0475cb22bd18f8","sha256:61baeccf406baaaf73f0c49af522b3df93001fed514c6f35a6bf3ad9ebd60933"],"state_sha256":"71310bae3d7bb4c69881a3dca14c48c1e268aef3449818c4b9707c48c894c696"}