{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2018:P4CAKQVS4QY63ISF5EIPW2CT2N","short_pith_number":"pith:P4CAKQVS","schema_version":"1.0","canonical_sha256":"7f040542b2e431eda245e910fb6853d3428182cf539133c551aaddba8cf0c9bb","source":{"kind":"arxiv","id":"1804.09822","version":1},"attestation_state":"computed","paper":{"title":"Enriching a Linear/Non-linear Lambda Calculus: A Programming Language for String Diagrams","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL","math.CT","quant-ph"],"primary_cat":"cs.LO","authors_text":"Bert Lindenhovius, Michael Mislove, Vladimir Zamdzhiev","submitted_at":"2018-04-25T22:34:26Z","abstract_excerpt":"Linear/non-linear (LNL) models, as described by Benton, soundly model a LNL term calculus and LNL logic closely related to intuitionistic linear logic. Every such model induces a canonical enrichment that we show soundly models a LNL lambda calculus for string diagrams, introduced by Rios and Selinger (with primary application in quantum computing). Our abstract treatment of this language leads to simpler concrete models compared to those presented so far. We also extend the language with general recursion and prove soundness. Finally, we present an adequacy result for the diagram-free fragmen"},"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.09822","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-04-25T22:34:26Z","cross_cats_sorted":["cs.PL","math.CT","quant-ph"],"title_canon_sha256":"c1b2e5338a48e3d99385180bb0262272e779ea1da506ae6297c94bf0cafef080","abstract_canon_sha256":"67c138ba0a24905a5524308770a2331bc6edabb873c707ecb51d81e96fbe7c58"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:42:43.304193Z","signature_b64":"QDB9ZW78XHCAC5OlfrbQWzOaYnLmhB5w1MMmEoUoSKRuBKN5KIQRvEY6Ehk6Rp/tqCj1621i/e5a+4KIgshcAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7f040542b2e431eda245e910fb6853d3428182cf539133c551aaddba8cf0c9bb","last_reissued_at":"2026-05-17T23:42:43.303491Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:42:43.303491Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Enriching a Linear/Non-linear Lambda Calculus: A Programming Language for String Diagrams","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL","math.CT","quant-ph"],"primary_cat":"cs.LO","authors_text":"Bert Lindenhovius, Michael Mislove, Vladimir Zamdzhiev","submitted_at":"2018-04-25T22:34:26Z","abstract_excerpt":"Linear/non-linear (LNL) models, as described by Benton, soundly model a LNL term calculus and LNL logic closely related to intuitionistic linear logic. Every such model induces a canonical enrichment that we show soundly models a LNL lambda calculus for string diagrams, introduced by Rios and Selinger (with primary application in quantum computing). Our abstract treatment of this language leads to simpler concrete models compared to those presented so far. We also extend the language with general recursion and prove soundness. Finally, we present an adequacy result for the diagram-free fragmen"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1804.09822","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.09822","created_at":"2026-05-17T23:42:43.303602+00:00"},{"alias_kind":"arxiv_version","alias_value":"1804.09822v1","created_at":"2026-05-17T23:42:43.303602+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1804.09822","created_at":"2026-05-17T23:42:43.303602+00:00"},{"alias_kind":"pith_short_12","alias_value":"P4CAKQVS4QY6","created_at":"2026-05-18T12:32:43.782077+00:00"},{"alias_kind":"pith_short_16","alias_value":"P4CAKQVS4QY63ISF","created_at":"2026-05-18T12:32:43.782077+00:00"},{"alias_kind":"pith_short_8","alias_value":"P4CAKQVS","created_at":"2026-05-18T12:32:43.782077+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/P4CAKQVS4QY63ISF5EIPW2CT2N","json":"https://pith.science/pith/P4CAKQVS4QY63ISF5EIPW2CT2N.json","graph_json":"https://pith.science/api/pith-number/P4CAKQVS4QY63ISF5EIPW2CT2N/graph.json","events_json":"https://pith.science/api/pith-number/P4CAKQVS4QY63ISF5EIPW2CT2N/events.json","paper":"https://pith.science/paper/P4CAKQVS"},"agent_actions":{"view_html":"https://pith.science/pith/P4CAKQVS4QY63ISF5EIPW2CT2N","download_json":"https://pith.science/pith/P4CAKQVS4QY63ISF5EIPW2CT2N.json","view_paper":"https://pith.science/paper/P4CAKQVS","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1804.09822&json=true","fetch_graph":"https://pith.science/api/pith-number/P4CAKQVS4QY63ISF5EIPW2CT2N/graph.json","fetch_events":"https://pith.science/api/pith-number/P4CAKQVS4QY63ISF5EIPW2CT2N/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/P4CAKQVS4QY63ISF5EIPW2CT2N/action/timestamp_anchor","attest_storage":"https://pith.science/pith/P4CAKQVS4QY63ISF5EIPW2CT2N/action/storage_attestation","attest_author":"https://pith.science/pith/P4CAKQVS4QY63ISF5EIPW2CT2N/action/author_attestation","sign_citation":"https://pith.science/pith/P4CAKQVS4QY63ISF5EIPW2CT2N/action/citation_signature","submit_replication":"https://pith.science/pith/P4CAKQVS4QY63ISF5EIPW2CT2N/action/replication_record"}},"created_at":"2026-05-17T23:42:43.303602+00:00","updated_at":"2026-05-17T23:42:43.303602+00:00"}