{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2018:FNWWP2XWWUICVSQLABOU2IELHS","short_pith_number":"pith:FNWWP2XW","schema_version":"1.0","canonical_sha256":"2b6d67eaf6b5102aca0b005d4d208b3ca009666bbeac7fb69e073114ea47a30b","source":{"kind":"arxiv","id":"1804.10540","version":1},"attestation_state":"computed","paper":{"title":"A theory of linear typings as flows on 3-valent graphs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL","math.CO"],"primary_cat":"cs.LO","authors_text":"Noam Zeilberger","submitted_at":"2018-04-27T14:52:35Z","abstract_excerpt":"Building on recently established enumerative connections between lambda calculus and the theory of embedded graphs (or \"maps\"), this paper develops an analogy between typing (of lambda terms) and coloring (of maps). Our starting point is the classical notion of an abelian group-valued \"flow\" on an abstract graph (Tutte, 1954). Typing a linear lambda term may be naturally seen as constructing a flow (on an embedded 3-valent graph with boundary) valued in a more general algebraic structure consisting of a preordered set equipped with an \"implication\" operation and unit satisfying composition, id"},"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":"1804.10540","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-04-27T14:52:35Z","cross_cats_sorted":["cs.PL","math.CO"],"title_canon_sha256":"6e730d38d4673ebc89092de77f3a48219ba240a3924e1ac3092b8ebaedc3dbb4","abstract_canon_sha256":"c6ce0440ec4fc122d5490544718849a54605322068e2eb0ba939b20c73c27efc"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:17:20.477480Z","signature_b64":"LhWME9WzxLVUUj1maYPs0VgQXgrJBR8IKIMoldKqx0mWVSj4J+11tfO4iWTCY2syyYbAXg6gIe6EdKZakLyiAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2b6d67eaf6b5102aca0b005d4d208b3ca009666bbeac7fb69e073114ea47a30b","last_reissued_at":"2026-05-18T00:17:20.477029Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:17:20.477029Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"A theory of linear typings as flows on 3-valent graphs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL","math.CO"],"primary_cat":"cs.LO","authors_text":"Noam Zeilberger","submitted_at":"2018-04-27T14:52:35Z","abstract_excerpt":"Building on recently established enumerative connections between lambda calculus and the theory of embedded graphs (or \"maps\"), this paper develops an analogy between typing (of lambda terms) and coloring (of maps). Our starting point is the classical notion of an abelian group-valued \"flow\" on an abstract graph (Tutte, 1954). Typing a linear lambda term may be naturally seen as constructing a flow (on an embedded 3-valent graph with boundary) valued in a more general algebraic structure consisting of a preordered set equipped with an \"implication\" operation and unit satisfying composition, id"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1804.10540","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":"1804.10540","created_at":"2026-05-18T00:17:20.477091+00:00"},{"alias_kind":"arxiv_version","alias_value":"1804.10540v1","created_at":"2026-05-18T00:17:20.477091+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1804.10540","created_at":"2026-05-18T00:17:20.477091+00:00"},{"alias_kind":"pith_short_12","alias_value":"FNWWP2XWWUIC","created_at":"2026-05-18T12:32:25.280505+00:00"},{"alias_kind":"pith_short_16","alias_value":"FNWWP2XWWUICVSQL","created_at":"2026-05-18T12:32:25.280505+00:00"},{"alias_kind":"pith_short_8","alias_value":"FNWWP2XW","created_at":"2026-05-18T12:32:25.280505+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/FNWWP2XWWUICVSQLABOU2IELHS","json":"https://pith.science/pith/FNWWP2XWWUICVSQLABOU2IELHS.json","graph_json":"https://pith.science/api/pith-number/FNWWP2XWWUICVSQLABOU2IELHS/graph.json","events_json":"https://pith.science/api/pith-number/FNWWP2XWWUICVSQLABOU2IELHS/events.json","paper":"https://pith.science/paper/FNWWP2XW"},"agent_actions":{"view_html":"https://pith.science/pith/FNWWP2XWWUICVSQLABOU2IELHS","download_json":"https://pith.science/pith/FNWWP2XWWUICVSQLABOU2IELHS.json","view_paper":"https://pith.science/paper/FNWWP2XW","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1804.10540&json=true","fetch_graph":"https://pith.science/api/pith-number/FNWWP2XWWUICVSQLABOU2IELHS/graph.json","fetch_events":"https://pith.science/api/pith-number/FNWWP2XWWUICVSQLABOU2IELHS/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/FNWWP2XWWUICVSQLABOU2IELHS/action/timestamp_anchor","attest_storage":"https://pith.science/pith/FNWWP2XWWUICVSQLABOU2IELHS/action/storage_attestation","attest_author":"https://pith.science/pith/FNWWP2XWWUICVSQLABOU2IELHS/action/author_attestation","sign_citation":"https://pith.science/pith/FNWWP2XWWUICVSQLABOU2IELHS/action/citation_signature","submit_replication":"https://pith.science/pith/FNWWP2XWWUICVSQLABOU2IELHS/action/replication_record"}},"created_at":"2026-05-18T00:17:20.477091+00:00","updated_at":"2026-05-18T00:17:20.477091+00:00"}