{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:PZQIFZXANIR75FWLUSQUWQLCM7","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":"96170ac501d9de82150ca3ca1550d4838fc9e6fe3e32f3b0ee92b0c1f9f3a6aa","cross_cats_sorted":["cs.PL","math.CT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-02-26T16:44:11Z","title_canon_sha256":"42e1115a711c9e48c5f818386946c7ee0ccd39de4cf114d924df92520bfe7d33"},"schema_version":"1.0","source":{"id":"1903.05126","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1903.05126","created_at":"2026-05-17T23:51:25Z"},{"alias_kind":"arxiv_version","alias_value":"1903.05126v1","created_at":"2026-05-17T23:51:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1903.05126","created_at":"2026-05-17T23:51:25Z"},{"alias_kind":"pith_short_12","alias_value":"PZQIFZXANIR7","created_at":"2026-05-18T12:33:24Z"},{"alias_kind":"pith_short_16","alias_value":"PZQIFZXANIR75FWL","created_at":"2026-05-18T12:33:24Z"},{"alias_kind":"pith_short_8","alias_value":"PZQIFZXA","created_at":"2026-05-18T12:33:24Z"}],"graph_snapshots":[{"event_id":"sha256:a139228b425bb173f56b19bc018f5d03cf47823d293cf644519754a804fb94f9","target":"graph","created_at":"2026-05-17T23:51:25Z","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":"Recently we presented a concise survey of the formulation of the induction and coinduction principles, and some concepts related to them, in programming languages type theory and four other mathematical disciplines. The presentation in type theory involved the separate formulation of these concepts, first, in the theory of types of functional programming languages and, next, in the theory of types of object-oriented programming languages. In this article we show that separating these two formulations helps demonstrate some of the fundamental differences between structural subtyping, predominan","authors_text":"Moez A. AbdelGawad","cross_cats":["cs.PL","math.CT"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-02-26T16:44:11Z","title":"Induction, Coinduction, and Fixed Points in PL Type Theory"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1903.05126","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:bbdf8ffb5d5fcc17640f4fdd91cb2cd29d9d7b77406fa511fbf65ee1acf71b6e","target":"record","created_at":"2026-05-17T23:51:25Z","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":"96170ac501d9de82150ca3ca1550d4838fc9e6fe3e32f3b0ee92b0c1f9f3a6aa","cross_cats_sorted":["cs.PL","math.CT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-02-26T16:44:11Z","title_canon_sha256":"42e1115a711c9e48c5f818386946c7ee0ccd39de4cf114d924df92520bfe7d33"},"schema_version":"1.0","source":{"id":"1903.05126","kind":"arxiv","version":1}},"canonical_sha256":"7e6082e6e06a23fe96cba4a14b416267c8f0040ba4ed243d599a001268511ec6","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7e6082e6e06a23fe96cba4a14b416267c8f0040ba4ed243d599a001268511ec6","first_computed_at":"2026-05-17T23:51:25.393768Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:51:25.393768Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"XdCo4amIpLyiPB10Zh0m1DuUOhpam+jg3Ejminvewy3HU94CuSlMSP+heo0zcjuAVLrMO40VsmbcOl7uU5boCA==","signature_status":"signed_v1","signed_at":"2026-05-17T23:51:25.394378Z","signed_message":"canonical_sha256_bytes"},"source_id":"1903.05126","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:bbdf8ffb5d5fcc17640f4fdd91cb2cd29d9d7b77406fa511fbf65ee1acf71b6e","sha256:a139228b425bb173f56b19bc018f5d03cf47823d293cf644519754a804fb94f9"],"state_sha256":"f0bef356c7f369be22ec2582637afe21f3d76cec53775f15e64a497a219290db"}