{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:OY7KP7IT52RMCPSMITSOTHBKQL","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":"784d410a795af1287ea1aed6ca01500ba83ea30c58ed5b4c9e8251160705a1a8","cross_cats_sorted":["cs.PL","math.CT"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2023-05-30T11:24:27Z","title_canon_sha256":"e24d5e7aeda502c93fba3de67622765321e3db0e54e1e5caf6f17cf12a7652b5"},"schema_version":"1.0","source":{"id":"2305.18945","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2305.18945","created_at":"2026-07-05T09:44:04Z"},{"alias_kind":"arxiv_version","alias_value":"2305.18945v3","created_at":"2026-07-05T09:44:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2305.18945","created_at":"2026-07-05T09:44:04Z"},{"alias_kind":"pith_short_12","alias_value":"OY7KP7IT52RM","created_at":"2026-07-05T09:44:04Z"},{"alias_kind":"pith_short_16","alias_value":"OY7KP7IT52RMCPSM","created_at":"2026-07-05T09:44:04Z"},{"alias_kind":"pith_short_8","alias_value":"OY7KP7IT","created_at":"2026-07-05T09:44:04Z"}],"graph_snapshots":[{"event_id":"sha256:8cd1eb8bd1de320486f39517e5aec62ff5be606948710246d17781cd3db748fd","target":"graph","created_at":"2026-07-05T09:44:04Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2305.18945/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This tutorial gives an advanced introduction to string diagrams and graph languages for higher-order computation. The subject matter develops in a principled way, starting from the two dimensional syntax of key categorical concepts such as functors, adjunctions, and strictification, and leading up to Cartesian Closed Categories, the core mathematical model of the lambda calculus and of functional programming languages. This methodology inverts the usual approach of proceeding from syntax to a categorical interpretation, by rationally reconstructing a syntax from the categorical model. The resu","authors_text":"Dan Ghica, Fabio Zanasi","cross_cats":["cs.PL","math.CT"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2023-05-30T11:24:27Z","title":"String Diagrams for $\\lambda$-calculi and Functional Computation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2305.18945","kind":"arxiv","version":3},"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:04895b54e222f74dea2efbcc2f26663092dd485a2a6083d07af7c6b62c682b0e","target":"record","created_at":"2026-07-05T09:44:04Z","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":"784d410a795af1287ea1aed6ca01500ba83ea30c58ed5b4c9e8251160705a1a8","cross_cats_sorted":["cs.PL","math.CT"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2023-05-30T11:24:27Z","title_canon_sha256":"e24d5e7aeda502c93fba3de67622765321e3db0e54e1e5caf6f17cf12a7652b5"},"schema_version":"1.0","source":{"id":"2305.18945","kind":"arxiv","version":3}},"canonical_sha256":"763ea7fd13eea2c13e4c44e4e99c2a82d50d4910c7ddbd2cd70b3a2f1b1148b4","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"763ea7fd13eea2c13e4c44e4e99c2a82d50d4910c7ddbd2cd70b3a2f1b1148b4","first_computed_at":"2026-07-05T09:44:04.659935Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T09:44:04.659935Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"r/1SL1mMs+U5la4Ms7Nf5Pqr2xRvdTUk3pxxziHJ+gYBSgA/qEwJS01FRlXrcW+sEiClYSuffZ4K2X8HAJYYAA==","signature_status":"signed_v1","signed_at":"2026-07-05T09:44:04.660885Z","signed_message":"canonical_sha256_bytes"},"source_id":"2305.18945","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:04895b54e222f74dea2efbcc2f26663092dd485a2a6083d07af7c6b62c682b0e","sha256:8cd1eb8bd1de320486f39517e5aec62ff5be606948710246d17781cd3db748fd"],"state_sha256":"1441dd19b39b9852a43eab580505ffc7606af4a426705a99189a4f97ca262d97"}