{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:HHZPBEEEDFKAKQIIWV3EGBXIOV","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":"fdd0430cc4db72b3f344964697373b5f852ab54835360b4aa6572b40c12fdf41","cross_cats_sorted":["cs.DS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-10-09T14:27:19Z","title_canon_sha256":"4eb18c2bf0a722073d84c8477edb42096a6fcca70829ae77b8506bbd3c4e9827"},"schema_version":"1.0","source":{"id":"1210.2610","kind":"arxiv","version":7}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1210.2610","created_at":"2026-05-18T03:19:22Z"},{"alias_kind":"arxiv_version","alias_value":"1210.2610v7","created_at":"2026-05-18T03:19:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1210.2610","created_at":"2026-05-18T03:19:22Z"},{"alias_kind":"pith_short_12","alias_value":"HHZPBEEEDFKA","created_at":"2026-05-18T12:27:09Z"},{"alias_kind":"pith_short_16","alias_value":"HHZPBEEEDFKAKQII","created_at":"2026-05-18T12:27:09Z"},{"alias_kind":"pith_short_8","alias_value":"HHZPBEEE","created_at":"2026-05-18T12:27:09Z"}],"graph_snapshots":[{"event_id":"sha256:0fbc6bc98911980c148a1a52b33e547a02226f7d25631d159fd8f9e5200315ce","target":"graph","created_at":"2026-05-18T03:19:22Z","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":"Lambda calculus is the basis of functional programming and higher order proof assistants. However, little is known about combinatorial properties of lambda terms, in particular, about their asymptotic distribution and random generation. This paper tries to answer questions like: How many terms of a given size are there? What is a \"typical\" structure of a simply typable term? Despite their ostensible simplicity, these questions still remain unanswered, whereas solutions to such problems are essential for testing compilers and optimizing programs whose expected efficiency depends on the size of ","authors_text":"Katarzyna Grygiel, Pierre Lescanne (LIP)","cross_cats":["cs.DS"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-10-09T14:27:19Z","title":"Counting and generating lambda terms"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1210.2610","kind":"arxiv","version":7},"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:d32d06033c9a429153b172166141c7c0e46eb4d364d124b5591788ae2a136e0c","target":"record","created_at":"2026-05-18T03:19:22Z","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":"fdd0430cc4db72b3f344964697373b5f852ab54835360b4aa6572b40c12fdf41","cross_cats_sorted":["cs.DS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-10-09T14:27:19Z","title_canon_sha256":"4eb18c2bf0a722073d84c8477edb42096a6fcca70829ae77b8506bbd3c4e9827"},"schema_version":"1.0","source":{"id":"1210.2610","kind":"arxiv","version":7}},"canonical_sha256":"39f2f090841954054108b5764306e8754a5612bcfb35730654758a97644ce5ee","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"39f2f090841954054108b5764306e8754a5612bcfb35730654758a97644ce5ee","first_computed_at":"2026-05-18T03:19:22.436699Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:19:22.436699Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"7/zdweXJpgr1w1ZTOGtrAP2EBx7HRHz88qeWuBzOF13Y1CiSUCmmbjOKE8JF0sJ6ivcGnb8rNv4dpXgwq2NwBQ==","signature_status":"signed_v1","signed_at":"2026-05-18T03:19:22.437449Z","signed_message":"canonical_sha256_bytes"},"source_id":"1210.2610","source_kind":"arxiv","source_version":7}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d32d06033c9a429153b172166141c7c0e46eb4d364d124b5591788ae2a136e0c","sha256:0fbc6bc98911980c148a1a52b33e547a02226f7d25631d159fd8f9e5200315ce"],"state_sha256":"0613442ae5fb0da70e1848748f9fe23f349788a06724bc6c24911249d3aac568"}