{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:YWKJLAFAURF4PHWVTHIBT2ONIT","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":"1eea938dd627b230bf1b839a7b4028c21ab9bbe901db36853889f7ebbed13193","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-04-02T08:59:13Z","title_canon_sha256":"984779f5ef51ad97d1e0ea687261812dfe3d45808ac9de3cc47d4e16fdd7693e"},"schema_version":"1.0","source":{"id":"1204.0347","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1204.0347","created_at":"2026-05-18T03:41:29Z"},{"alias_kind":"arxiv_version","alias_value":"1204.0347v1","created_at":"2026-05-18T03:41:29Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1204.0347","created_at":"2026-05-18T03:41:29Z"},{"alias_kind":"pith_short_12","alias_value":"YWKJLAFAURF4","created_at":"2026-05-18T12:27:30Z"},{"alias_kind":"pith_short_16","alias_value":"YWKJLAFAURF4PHWV","created_at":"2026-05-18T12:27:30Z"},{"alias_kind":"pith_short_8","alias_value":"YWKJLAFA","created_at":"2026-05-18T12:27:30Z"}],"graph_snapshots":[{"event_id":"sha256:e01ac6ac7cc12643c68f5c2148df9e1c33276f0e247fc685f8fa8a5697c97a17","target":"graph","created_at":"2026-05-18T03:41:29Z","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":"Calculi with control operators have been studied as extensions of simple type theory. Real programming languages contain datatypes, so to really understand control operators, one should also include these in the calculus. As a first step in that direction, we introduce lambda-mu-T, a combination of Parigot's lambda-mu-calculus and G\\\"odel's T, to extend a calculus with control operators with a datatype of natural numbers with a primitive recursor.\n  We consider the problem of confluence on raw terms, and that of strong normalization for the well-typed terms. Observing some problems with extend","authors_text":"Herman Geuvers, James McKinna, Robbert Krebbers","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-04-02T08:59:13Z","title":"The lambda-mu-T-calculus"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1204.0347","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:10c10300bdf97c8b68602a40e6b350c25a01e412f459edbb4e520e4c7fcc951d","target":"record","created_at":"2026-05-18T03:41:29Z","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":"1eea938dd627b230bf1b839a7b4028c21ab9bbe901db36853889f7ebbed13193","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-04-02T08:59:13Z","title_canon_sha256":"984779f5ef51ad97d1e0ea687261812dfe3d45808ac9de3cc47d4e16fdd7693e"},"schema_version":"1.0","source":{"id":"1204.0347","kind":"arxiv","version":1}},"canonical_sha256":"c5949580a0a44bc79ed599d019e9cd44d700375dcec8004284b0de149c2f039f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c5949580a0a44bc79ed599d019e9cd44d700375dcec8004284b0de149c2f039f","first_computed_at":"2026-05-18T03:41:29.394883Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:41:29.394883Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"tmC8jCr09DqqDfjFCq+BUibKGoxTJ9+KSSegFyFjq+0hNPN3T/o+df6rFHGhE8iw5PuOjluZ3o5v5balRv/yAA==","signature_status":"signed_v1","signed_at":"2026-05-18T03:41:29.395677Z","signed_message":"canonical_sha256_bytes"},"source_id":"1204.0347","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:10c10300bdf97c8b68602a40e6b350c25a01e412f459edbb4e520e4c7fcc951d","sha256:e01ac6ac7cc12643c68f5c2148df9e1c33276f0e247fc685f8fa8a5697c97a17"],"state_sha256":"4319d920531fd6c88078a7e937f442c108e84d1f48a3154071c8fddc8d2fef9b"}