{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2010:E36LZOP7DLOMMPBXGJXJLKOEKK","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":"abd4d935a7a117bc7e8dcafe6469872c38108c35272173fd3d2ae3b000806abf","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2010-09-11T17:43:53Z","title_canon_sha256":"6d1ecec7a02f017aa777a54b2206c526b9f2b37e314cca42c7b1e96315d217c5"},"schema_version":"1.0","source":{"id":"1009.2189","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1009.2189","created_at":"2026-05-18T04:41:04Z"},{"alias_kind":"arxiv_version","alias_value":"1009.2189v1","created_at":"2026-05-18T04:41:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1009.2189","created_at":"2026-05-18T04:41:04Z"},{"alias_kind":"pith_short_12","alias_value":"E36LZOP7DLOM","created_at":"2026-05-18T12:26:06Z"},{"alias_kind":"pith_short_16","alias_value":"E36LZOP7DLOMMPBX","created_at":"2026-05-18T12:26:06Z"},{"alias_kind":"pith_short_8","alias_value":"E36LZOP7","created_at":"2026-05-18T12:26:06Z"}],"graph_snapshots":[{"event_id":"sha256:fcbc96141cc426d73e60a1be52251e276f01c7474ceff45df31ac93d3902fbba","target":"graph","created_at":"2026-05-18T04:41: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"},"paper":{"abstract_excerpt":"Type theories, logical frameworks and meta-languages form a common foundation for designing, implementing, and reasoning about formal languages and their semantics. They are central to the design of modern programming languages, certified software, and domain specific logics. More generally, they continue to influence applications in many areas in mathematics, logic and computer science.\n  The Logical Frameworks and Meta-languages: Theory and Practice workshop aims to bring together designers, implementers, and practitioners working on these areas, and in particular about: the automation and i","authors_text":"Karl Crary, Marino Miculan","cross_cats":["cs.PL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2010-09-11T17:43:53Z","title":"Proceedings 5th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1009.2189","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:9c8ba398cac9530288ac49320841b8d6a8efa19ee9f9a1935358ef3fa30671ee","target":"record","created_at":"2026-05-18T04:41: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":"abd4d935a7a117bc7e8dcafe6469872c38108c35272173fd3d2ae3b000806abf","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2010-09-11T17:43:53Z","title_canon_sha256":"6d1ecec7a02f017aa777a54b2206c526b9f2b37e314cca42c7b1e96315d217c5"},"schema_version":"1.0","source":{"id":"1009.2189","kind":"arxiv","version":1}},"canonical_sha256":"26fcbcb9ff1adcc63c37326e95a9c452a7fe61743b8efc6ba5f677aba99880df","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"26fcbcb9ff1adcc63c37326e95a9c452a7fe61743b8efc6ba5f677aba99880df","first_computed_at":"2026-05-18T04:41:04.632675Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:41:04.632675Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"vsg6IwJASdo/sBg020qayCl1jRMMkQtGXgPnlAN13Ryx3N9+C6ePVBxXAOulgSEssu8u/Is9z60Q4QbFRbUXAA==","signature_status":"signed_v1","signed_at":"2026-05-18T04:41:04.633039Z","signed_message":"canonical_sha256_bytes"},"source_id":"1009.2189","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9c8ba398cac9530288ac49320841b8d6a8efa19ee9f9a1935358ef3fa30671ee","sha256:fcbc96141cc426d73e60a1be52251e276f01c7474ceff45df31ac93d3902fbba"],"state_sha256":"69c813ab95b35d95de8313be230692a16c183552321357dea87e86eb3ec9fc9c"}