{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2013:QPFPYHZWWZTKV6SG4P2ATHVM5T","short_pith_number":"pith:QPFPYHZW","schema_version":"1.0","canonical_sha256":"83cafc1f36b666aafa46e3f4099eacecf506bff6e99d5b5c609b9236e51466b3","source":{"kind":"arxiv","id":"1301.4938","version":3},"attestation_state":"computed","paper":{"title":"A type theoretical framework for natural language semantics: the Montagovian generative lexicon","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CL"],"primary_cat":"cs.LO","authors_text":"Christian Retor\\'e (LaBRI, IRIT)","submitted_at":"2013-01-21T17:42:19Z","abstract_excerpt":"We present a framework, named the Montagovian generative lexicon, for computing the semantics of natural language sentences, expressed in many sorted higher order logic. Word meaning is depicted by lambda terms of second order lambda calculus (Girard's system F) with base types including a type for propositions and many types for sorts of a many sorted logic. This framework is able to integrate a proper treatment of lexical phenomena into a Montagovian compositional semantics, including the restriction of selection which imposes the nature of the arguments of a predicate, and the possible adap"},"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":"1301.4938","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2013-01-21T17:42:19Z","cross_cats_sorted":["cs.CL"],"title_canon_sha256":"3c2da07c091de5bc4d747b72afd983ed3cdcffc679a8f43c3054c3f1e6d1ef58","abstract_canon_sha256":"c54924fc9bd20ea901b6c5c69b4a11b701394b5134bc1e9cd5657a11dac62357"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:03:22.142983Z","signature_b64":"TbjngX+tMyzGjNNpzo59fo5u/sEZA+0ZwGTC7uN0z9qJSiXXbS6z+1dACzr+/wwu3OVT5PcloweBmVqB5SIlAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"83cafc1f36b666aafa46e3f4099eacecf506bff6e99d5b5c609b9236e51466b3","last_reissued_at":"2026-05-18T03:03:22.142294Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:03:22.142294Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"A type theoretical framework for natural language semantics: the Montagovian generative lexicon","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CL"],"primary_cat":"cs.LO","authors_text":"Christian Retor\\'e (LaBRI, IRIT)","submitted_at":"2013-01-21T17:42:19Z","abstract_excerpt":"We present a framework, named the Montagovian generative lexicon, for computing the semantics of natural language sentences, expressed in many sorted higher order logic. Word meaning is depicted by lambda terms of second order lambda calculus (Girard's system F) with base types including a type for propositions and many types for sorts of a many sorted logic. This framework is able to integrate a proper treatment of lexical phenomena into a Montagovian compositional semantics, including the restriction of selection which imposes the nature of the arguments of a predicate, and the possible adap"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1301.4938","kind":"arxiv","version":3},"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":"1301.4938","created_at":"2026-05-18T03:03:22.142420+00:00"},{"alias_kind":"arxiv_version","alias_value":"1301.4938v3","created_at":"2026-05-18T03:03:22.142420+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1301.4938","created_at":"2026-05-18T03:03:22.142420+00:00"},{"alias_kind":"pith_short_12","alias_value":"QPFPYHZWWZTK","created_at":"2026-05-18T12:27:57.521954+00:00"},{"alias_kind":"pith_short_16","alias_value":"QPFPYHZWWZTKV6SG","created_at":"2026-05-18T12:27:57.521954+00:00"},{"alias_kind":"pith_short_8","alias_value":"QPFPYHZW","created_at":"2026-05-18T12:27:57.521954+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/QPFPYHZWWZTKV6SG4P2ATHVM5T","json":"https://pith.science/pith/QPFPYHZWWZTKV6SG4P2ATHVM5T.json","graph_json":"https://pith.science/api/pith-number/QPFPYHZWWZTKV6SG4P2ATHVM5T/graph.json","events_json":"https://pith.science/api/pith-number/QPFPYHZWWZTKV6SG4P2ATHVM5T/events.json","paper":"https://pith.science/paper/QPFPYHZW"},"agent_actions":{"view_html":"https://pith.science/pith/QPFPYHZWWZTKV6SG4P2ATHVM5T","download_json":"https://pith.science/pith/QPFPYHZWWZTKV6SG4P2ATHVM5T.json","view_paper":"https://pith.science/paper/QPFPYHZW","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1301.4938&json=true","fetch_graph":"https://pith.science/api/pith-number/QPFPYHZWWZTKV6SG4P2ATHVM5T/graph.json","fetch_events":"https://pith.science/api/pith-number/QPFPYHZWWZTKV6SG4P2ATHVM5T/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/QPFPYHZWWZTKV6SG4P2ATHVM5T/action/timestamp_anchor","attest_storage":"https://pith.science/pith/QPFPYHZWWZTKV6SG4P2ATHVM5T/action/storage_attestation","attest_author":"https://pith.science/pith/QPFPYHZWWZTKV6SG4P2ATHVM5T/action/author_attestation","sign_citation":"https://pith.science/pith/QPFPYHZWWZTKV6SG4P2ATHVM5T/action/citation_signature","submit_replication":"https://pith.science/pith/QPFPYHZWWZTKV6SG4P2ATHVM5T/action/replication_record"}},"created_at":"2026-05-18T03:03:22.142420+00:00","updated_at":"2026-05-18T03:03:22.142420+00:00"}