{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2010:2MS5IJWK3YDTBTW5FARR6I4QGP","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":"b51d2d5a1a95c1fa0aa4edd595cf0eb85ec67c1279c2a8c3380781c2cf59ccfd","cross_cats_sorted":["math.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2010-12-13T08:55:43Z","title_canon_sha256":"a1063cdf1209a431983bfde90687933b29d41081327e4c11eb2d4195c8770dc3"},"schema_version":"1.0","source":{"id":"1012.2661","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1012.2661","created_at":"2026-05-18T04:33:26Z"},{"alias_kind":"arxiv_version","alias_value":"1012.2661v1","created_at":"2026-05-18T04:33:26Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1012.2661","created_at":"2026-05-18T04:33:26Z"},{"alias_kind":"pith_short_12","alias_value":"2MS5IJWK3YDT","created_at":"2026-05-18T12:26:03Z"},{"alias_kind":"pith_short_16","alias_value":"2MS5IJWK3YDTBTW5","created_at":"2026-05-18T12:26:03Z"},{"alias_kind":"pith_short_8","alias_value":"2MS5IJWK","created_at":"2026-05-18T12:26:03Z"}],"graph_snapshots":[{"event_id":"sha256:b5bbdf873fc5fe70978f1703b82cddfffd072894c5a212407faad873e849ad96","target":"graph","created_at":"2026-05-18T04:33:26Z","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":"We first recall some basic notions on minimalist grammars and on categorial grammars. Next we shortly introduce partially commutative linear logic, and our representation of minimalist grammars within this categorial system, the so-called categorial minimalist grammars. Thereafter we briefly present \\lambda\\mu-DRT (Discourse Representation Theory) an extension of \\lambda-DRT (compositional DRT) in the framework of \\lambda\\mu calculus: it avoids type raising and derives different readings from a single semantic representation, in a setting which follows discourse structure. We run a complete ex","authors_text":"Alain Lecomte (INRIA Bordeaux - Sud-Ouest, Christian Retor\\'e (INRIA Bordeaux - Sud-Ouest, LaBRI), Maxime Amblard (INRIA Lorraine - LORIA), Sfltamp)","cross_cats":["math.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2010-12-13T08:55:43Z","title":"Categorial Minimalist Grammar"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1012.2661","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:91e9c16754606a88a021efdfa031165adbdc903abb41fc01f3d70005c7415866","target":"record","created_at":"2026-05-18T04:33:26Z","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":"b51d2d5a1a95c1fa0aa4edd595cf0eb85ec67c1279c2a8c3380781c2cf59ccfd","cross_cats_sorted":["math.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2010-12-13T08:55:43Z","title_canon_sha256":"a1063cdf1209a431983bfde90687933b29d41081327e4c11eb2d4195c8770dc3"},"schema_version":"1.0","source":{"id":"1012.2661","kind":"arxiv","version":1}},"canonical_sha256":"d325d426cade0730cedd28231f239033dca4d1b2303b6173ba17387ff09c6d54","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d325d426cade0730cedd28231f239033dca4d1b2303b6173ba17387ff09c6d54","first_computed_at":"2026-05-18T04:33:26.551598Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:33:26.551598Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"L4u6lTxbenbHtAV5ZFU8I7+QGdYxCIAsI1Ie1KV6rSofwE9PgWhJ8D7EbsXjb5USjWItWZuJSuONkoebtnp6Bw==","signature_status":"signed_v1","signed_at":"2026-05-18T04:33:26.552254Z","signed_message":"canonical_sha256_bytes"},"source_id":"1012.2661","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:91e9c16754606a88a021efdfa031165adbdc903abb41fc01f3d70005c7415866","sha256:b5bbdf873fc5fe70978f1703b82cddfffd072894c5a212407faad873e849ad96"],"state_sha256":"73457f5f28bc194b094dad6650764fdc2aaf5865cd6a1ca2cc2d867fdf6de493"}