{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2013:E2MVFI4QJEMIB7PB2IR7FRNHCR","short_pith_number":"pith:E2MVFI4Q","schema_version":"1.0","canonical_sha256":"269952a390491880fde1d223f2c5a7145045e5566ef97e962a77ca8b317725af","source":{"kind":"arxiv","id":"1309.1257","version":1},"attestation_state":"computed","paper":{"title":"Continuation calculus","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"cs.LO","authors_text":"Bram Geron, Herman Geuvers","submitted_at":"2013-09-05T08:03:50Z","abstract_excerpt":"Programs with control are usually modeled using lambda calculus extended with control operators. Instead of modifying lambda calculus, we consider a different model of computation. We introduce continuation calculus, or CC, a deterministic model of computation that is evaluated using only head reduction, and argue that it is suitable for modeling programs with control. It is demonstrated how to define programs, specify them, and prove them correct. This is shown in detail by presenting in CC a list multiplication program that prematurely returns when it encounters a zero. The correctness proof"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1309.1257","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2013-09-05T08:03:50Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"4ad5ecf95f59c50bf7eb19b8b957c76c2fcf097f59c7b79abeb43f340755586e","abstract_canon_sha256":"74b37b21ecab92932e9cc5b8cef3edd6cca04dc36b28099f4181bc58b4d62235"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:14:07.844651Z","signature_b64":"iX0oVcGPDrlGGjkSvA8CquOEQxJWA337KNkC93ZfJLgGUCWmKjlcp63F+PVGIkEpN0SRhS5+Kfoc6iiSdhc4Bw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"269952a390491880fde1d223f2c5a7145045e5566ef97e962a77ca8b317725af","last_reissued_at":"2026-05-18T03:14:07.844014Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:14:07.844014Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Continuation calculus","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"cs.LO","authors_text":"Bram Geron, Herman Geuvers","submitted_at":"2013-09-05T08:03:50Z","abstract_excerpt":"Programs with control are usually modeled using lambda calculus extended with control operators. Instead of modifying lambda calculus, we consider a different model of computation. We introduce continuation calculus, or CC, a deterministic model of computation that is evaluated using only head reduction, and argue that it is suitable for modeling programs with control. It is demonstrated how to define programs, specify them, and prove them correct. This is shown in detail by presenting in CC a list multiplication program that prematurely returns when it encounters a zero. The correctness proof"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1309.1257","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"1309.1257","created_at":"2026-05-18T03:14:07.844112+00:00"},{"alias_kind":"arxiv_version","alias_value":"1309.1257v1","created_at":"2026-05-18T03:14:07.844112+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1309.1257","created_at":"2026-05-18T03:14:07.844112+00:00"},{"alias_kind":"pith_short_12","alias_value":"E2MVFI4QJEMI","created_at":"2026-05-18T12:27:43.054852+00:00"},{"alias_kind":"pith_short_16","alias_value":"E2MVFI4QJEMIB7PB","created_at":"2026-05-18T12:27:43.054852+00:00"},{"alias_kind":"pith_short_8","alias_value":"E2MVFI4Q","created_at":"2026-05-18T12:27:43.054852+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/E2MVFI4QJEMIB7PB2IR7FRNHCR","json":"https://pith.science/pith/E2MVFI4QJEMIB7PB2IR7FRNHCR.json","graph_json":"https://pith.science/api/pith-number/E2MVFI4QJEMIB7PB2IR7FRNHCR/graph.json","events_json":"https://pith.science/api/pith-number/E2MVFI4QJEMIB7PB2IR7FRNHCR/events.json","paper":"https://pith.science/paper/E2MVFI4Q"},"agent_actions":{"view_html":"https://pith.science/pith/E2MVFI4QJEMIB7PB2IR7FRNHCR","download_json":"https://pith.science/pith/E2MVFI4QJEMIB7PB2IR7FRNHCR.json","view_paper":"https://pith.science/paper/E2MVFI4Q","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1309.1257&json=true","fetch_graph":"https://pith.science/api/pith-number/E2MVFI4QJEMIB7PB2IR7FRNHCR/graph.json","fetch_events":"https://pith.science/api/pith-number/E2MVFI4QJEMIB7PB2IR7FRNHCR/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/E2MVFI4QJEMIB7PB2IR7FRNHCR/action/timestamp_anchor","attest_storage":"https://pith.science/pith/E2MVFI4QJEMIB7PB2IR7FRNHCR/action/storage_attestation","attest_author":"https://pith.science/pith/E2MVFI4QJEMIB7PB2IR7FRNHCR/action/author_attestation","sign_citation":"https://pith.science/pith/E2MVFI4QJEMIB7PB2IR7FRNHCR/action/citation_signature","submit_replication":"https://pith.science/pith/E2MVFI4QJEMIB7PB2IR7FRNHCR/action/replication_record"}},"created_at":"2026-05-18T03:14:07.844112+00:00","updated_at":"2026-05-18T03:14:07.844112+00:00"}